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
External links
Search via SFX
Journal / series
ETH Technical Report
Publisher
ETH Zürich
Organisational unit
03653 - Müller, Peter / Müller, Peter  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics