On Local Reasoning in Verification.
TACAS. 2008 S. 265 - 281
Erscheinungsjahr: 2008
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-540-78800-3_19
Geprüft | Bibliothek |
TACAS. 2008 S. 265 - 281
Erscheinungsjahr: 2008
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-540-78800-3_19
Geprüft | Bibliothek |