| |
| 2007 | ||
|---|---|---|
| 2 | EE | David Crocker, Judith Carlton: Verification of C Programs Using Automated Reasoning. SEFM 2007: 7-14 |
| 2005 | ||
| 1 | David Crocker, John H. Warren: Generating commercial web applications from precise requirements and formal specifications. WWV 2005: 27-32 | |
| 1 | Judith Carlton | [2] |
| 2 | John H. Warren | [1] |