John Rushby

Communications of the Computer Society of India, Vol. 31, No. 2, May 2007, pp. 28-32. Formal Methods Special Theme Issue.

CSI lacks an archival web site, so the collection of papers is also available as Volume 15, Issue 5, of the Journal of Universal Computer Science

Abstract

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

BibTeX Entry

@ARTICLE{Rushby07:csi,
	AUTHOR = {John Rushby},
	TITLE = {Automated Formal Methods Enter the Mainstream},
	JOURNAL = {Communications of the Computer Society of India},
	YEAR = 2007,
	VOLUME = 31,
	NUMBER = 2,
	PAGES = {28--32},
	MONTH = may,
	NOTE = {Special Theme Issue on Formal Methods edited by Richard Banach.
                Archived in Journal of Universal Computer Science Vol.\ 13, No.\ 5, pp.\ 650--660, 
	   available at \url{http://www.jucs.org/jucs_13_5}}
}