John Rushby

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

3 John Rushby: Runtime Certification. RV 2008: 21-35

2007

2 John Rushby: Automated Formal Methods Enter the Mainstream. J. UCS 13(5): 650-660 (2007)

2005

1 John Rushby: Automated Test Generation and Verified Software. VSTTE 2005: 161-172

	2008
3		John Rushby: Runtime Certification. RV 2008: 21-35
	2007
2		John Rushby: Automated Formal Methods Enter the Mainstream. J. UCS 13(5): 650-660 (2007)
	2005
1		John Rushby: Automated Test Generation and Verified Software. VSTTE 2005: 161-172