Using stereotypes to verify complex heap structures in regional logic

Thumbnail
Metadata only
Author
Rudich, Arsenii
Müller, Peter
Date
2009
Type
    Report
Publication status
published
Journal / series
ETH Technical Report
Publisher
ETH Zürich
Organisational unit
03653 - Müller, Peter / Müller, Peter  
More
Show all metadata
ETH Bibliography
yes
Altmetrics