Rod Chapman

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
c4		Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß: The 1st Verified Software Competition: Experience Report. FM 2011: 154-168
	2009
c3		Thein Than Tun, Rod Chapman, Charles B. Haley, Robin C. Laney, Bashar Nuseibeh: A Framework for Developing Feature-Rich Software Systems. ECBS 2009: 206-214
	2007
c2		Rod Chapman: MF1: security by construction. SIGAda 2007: 5-6
c1		Rod Chapman: Correctness by construction: putting engineering (back) into software. SIGAda 2007: 100

Coauthor Index

Last update Sun May 19 22:51:42 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page