A Discipline for Program Verification based on Backpointers and its Use in Observational Disjointness
Metadata only
Datum
2013Typ
- Conference Paper
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Buchtitel
Programming Languages and Systems : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. ProceedingsZeitschrift / Serie
Lecture Notes in Computer ScienceBand
Seiten / Artikelnummer
Verlag
SpringerKonferenz
Organisationseinheit
03653 - Müller, Peter / Müller, Peter
ETH Bibliographie
yes
Altmetrics