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