bibtex

@inproceedings{SBB+5,
    title = { A Theory Agenda for Component-Based Design },
    author = {Sifakis, Joseph and Bensalem, Saddek and Bliudze, Simon and Bozga, Marius},
    year = {2015},
    booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering},
    pages = {409--439},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {8950},
    team = {rsd, dcs, DCS, RSD},
}

URL


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4087280