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

Paper

gzipped postscript

plain postscript

PDF

crude ascii

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}}
}