John Rushby

Formal Methods for Trustworthy Computer Systems (FM89), Halifax, Nova Scotia, Canada, July 1989. Springer-Verlag Workshops in Computing. Pages 121--125.

Abstract

gzipped postscript, or plain postscript or PDF or crude ascii (for your Palm Pilot)

BibTeX Entry

@inproceedings{Rushby-fm89,
	AUTHOR = {John Rushby},
	TITLE = {Formal Methods and Critical Systems in the Real World},
	PAGES = {121--125},
	BOOKTITLE = {Formal Methods for Trustworthy Computer Systems
		{(FM89)}},
	YEAR = 1989,
	EDITOR = {Dan Craigen and Karen Summerskill},
	PUBLISHER = {Springer-Verlag Workshops in Computing},
	ADDRESS = {Halifax, Nova Scotia, Canada},
	MONTH = jul
}