A Package for Extensible Object-Oriented Data Models with an Application to IMP++

Thumbnail
Metadata only
Author
Brucker, Achim D.
Wolff, Burkhart
Date
2006
Type
    Conference Paper
Publication status
published
Editor
Roychoudhury, Abhik
Yang, Zijiang
Book title
The 2006 Federated Logic Conference : The Seattle Sheraton Hotel and Towers, Seattle, Washington, August 10 - 22, 2006. ICLP’06 Workshop : SVV’06: Software Verification and Validation, August 21st, 2006, Proceedings
Pages / Article No.
73 - 87
Publisher
Computing Research Repository (CoRR)
Event
International Workshop on Software Verification and Validation, Seattle, WA, USA, August 21, 2006
Organisational unit
03634 - Basin, David / Basin, David  
More
Show all metadata
ETH Bibliography
yes
Altmetrics