Metadata only
Datum
2009Typ
- Book Chapter
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedBuchtitel
Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthdayZeitschrift / Serie
Lecture Notes in Computer ScienceBand
Seiten / Artikelnummer
Verlag
SpringerOrganisationseinheit
03653 - Müller, Peter / Müller, Peter
03594 - Meyer, Bertrand (emeritus)
ETH Bibliographie
yes
Altmetrics