Using stereotypes to verify complex heap structures in regional logic

Thumbnail
Metadata only
Autor(in)
Rudich, Arsenii
Müller, Peter
Datum
2009
Typ
    Report
Publikationsstatus
published
Zeitschrift / Serie
ETH Technical Report
Verlag
ETH Zürich
Organisationseinheit
03653 - Müller, Peter / Müller, Peter  
Mehr
Alle Metadaten anzeigen
ETH Bibliographie
yes
Altmetrics