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