An Extensible Encoding of Object-oriented Data Models in HOL -- with an Application to IMP++ (2008)

by Achim D. Brucker, et al.
Citations:6 - 5 self