An Extensible Encoding of Object-oriented Data Models in hol

Thumbnail
Metadata only
Autor(in)
Brucker, Achim D.
Wolff, Burkhart
Datum
2008
Typ
    Journal Article
Publikationsstatus
published
Externe Links
Zeitschrift / Serie
Journal of Automated Reasoning
Band
41(3-4)
Seiten / Artikelnummer
219 - 249
Verlag
Springer
Thema
Object-oriented data models; Theorem proving; Verification; hol
Organisationseinheit
03634 - Basin, David / Basin, David  
Mehr
Alle Metadaten anzeigen
ETH Bibliographie
yes
Altmetrics