© University of Kent - Contact | Feedback | Legal | FOI | Cookies
An Axiomatic Semantics for VDM++: OO Aspects
S. Kent
Afrodite Report AFRO/IC/SK/SEM-OO/V2, Imperial College of Science, Technology and Medicine, London, January 1993.Bibtex Record
@techreport{809, author = {S. Kent}, title = {{An Axiomatic Semantics for VDM++: OO Aspects}}, month = {January}, year = {1993}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1993/809}, address = {London}, institution = {Imperial College of Science, Technology and Medicine}, number = {AFRO/IC/SK/SEM-OO/V2}, type = {Afrodite Report}, }