John Rushby

Invited paper presented at HASE: Fifth IEEE International Symposium on High Assurance Systems Engineering, 15-17 November, 2000, Albuquerque New Mexico

Abstract

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

Slides

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

More recent slides

gzipped postscript

plain postscript

pdf

crude ascii

BibTeX Entry

@INPROCEEDINGS{Rushby00:HASE,
	AUTHOR = {John Rushby},
	TITLE = {Disappearing Formal Methods},
	BOOKTITLE = {High-Assurance Systems Engineering Symposium},
	PAGES = {95--96},
	MONTH = nov
	YEAR = 2000,
	ORGANIZATION = {Association for Computing Machinery},
	ADDRESS = {Albuquerque, NM},
	URL = {http://www.csl.sri.com/~rushby/hase00.html}
}