Rod Chapman

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

2 EE Rod Chapman: Correctness by construction: putting engineering (back) into software. SIGAda 2007: 100

1 EE Rod Chapman: MF1: security by construction. SIGAda 2007: 5-6

2007
2	EE	Rod Chapman: Correctness by construction: putting engineering (back) into software. SIGAda 2007: 100
1	EE	Rod Chapman: MF1: security by construction. SIGAda 2007: 5-6