The Enhanced HDM System for Specification and Verification
P. Michael Melliar-Smith and John Rushby
Proc. VerkShop III, Watsonville, CA, Feb 1985.
Published as ACM Software Engineering Notes, Vol. 10,
No. 41-43, Aug. 85
DOI: https://doi.org/10.1145/1012497.1012511
Abstract
Short paper, no abstract.
PDF
BibTeX Entry
@inproceedings{Melliar-Smith&Rushby,
AUTHOR = {P. Michael Melliar-Smith and John Rushby},
BOOKTITLE = {Proc.\ VerkShop III},
ADDRESS = {Watsonville, CA},
TITLE = {The {Enhanced HDM} System for Specification and Verification},
YEAR = 1985,
PAGES = {41--43},
MONTH = feb,
NOTE = {Published as ACM Software Engineering Notes, Vol. 10,
No. 4, Aug. 85}
}
Having trouble reading our papers?
Return to John Rushby's bibliography page
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page