| 2007 |
|---|
| 7 | EE | J. Carter,
William B. Gardner:
Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming.
SEW 2007: 41-52 |
| 2006 |
|---|
| 6 | EE | J. Carter,
William B. Gardner:
A Formal CSP Framework for Message-Passing HPC Programming.
CCECE 2006: 1466-1470 |
| 2005 |
|---|
| 5 | | William B. Gardner:
CSP++: How Faithful to CSPm?
CPA 2005: 129-146 |
| 4 | EE | Stephen Doxsee,
William B. Gardner:
Synthesis of C++ Software from Verifiable CSPm Specifications.
ECBS 2005: 193-201 |
| 3 | EE | Stephen Doxsee,
William B. Gardner:
Synthesis of C++ software for automated teller from CSPm specifications.
SAC 2005: 1565-1566 |
| 2 | EE | William B. Gardner:
Converging CSP specifications and C++ programming via selective formalism.
ACM Trans. Embedded Comput. Syst. 4(2): 302-330 (2005) |
| 2003 |
|---|
| 1 | EE | William B. Gardner:
Bridging CSP and C++ with Selective Formalism and Executable Specifications.
MEMOCODE 2003: 237- |
