Metadata only
Autor(in)
Alle anzeigen
Datum
2012-06Typ
- Journal Article
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Zeitschrift / Serie
Computing SurveysBand
Seiten / Artikelnummer
Verlag
Association for Computing MachineryThema
Abstraction; Assertion; Behavioral subtyping; Frame conditions; Interface specification language; Invariant; JML; Postcondition; Precondition; Separation logic; Spec#; SPARKOrganisationseinheit
03653 - Müller, Peter / Müller, Peter
ETH Bibliographie
yes
Altmetrics