John Rushby

Invited paper presented at FM'99: The World Congress in Formal Methods, Toulouse, France, September 1999. Jeannette Wing and Jim Woodcock eds., Springer Verlag Lecture Notes in Computer Science, Volume 1708, pp. 48-51.

Abstract

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

Slides

gzipped postscript

plain postscript

pdf

crude ascii

BibTeX Entry

@INPROCEEDINGS{Rushby:FM99,
	AUTHOR = {John Rushby},
	TITLE = {Mechanized Formal Methods: Where Next?},
	PAGES = {48--51},
	BOOKTITLE = {FM99: The World Congress in Formal Methods},
	EDITOR = {Jeannette Wing and Jim Woodcock},
	PUBLISHER = {Springer Verlag},
	VOLUME = 1708,
	SERIES = {Lecture Notes in Computer Science},
	ADDRESS = {Toulouse, France},
	YEAR = 1999,
	MONTH = sep
}