© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
A Weakest Precondition Semantics for an Object-oriented Language of Refinement
ALC Cavalcanti and D Naumann
In FM'99: World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, pages 1439-1459. Springer-Verlag, 1999.Bibtex Record
@inproceedings{1492,
author = {ALC Cavalcanti and D Naumann},
title = {{A Weakest Precondition Semantics for an Object-oriented Language of Refinement}},
month = {unknown},
year = {1999},
pages = {1439-1459},
keywords = {},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/1492},
publication_type = {inproceedings},
submission_id = {28495_1028901825},
booktitle = {FM'99: World Congress on Formal Methods},
volume = {1709},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
}