![]() | ![]() |
| 2005 | ||
|---|---|---|
| 3 | Stephen Doxsee, William B. Gardner: Synthesis of C++ Software from Verifiable CSPm Specifications. ECBS 2005: 193-201 | |
| 2 | Stephen Doxsee, William B. Gardner: Synthesis of C++ software for automated teller from CSPm specifications. SAC 2005: 1565-1566 | |
| 2004 | ||
| 1 | Charlie Obimbo, Stephen Doxsee: The Threat of a Deterministic Polynomial Time Algorithm for Primality Testing in Applied Cryptography. MSV/AMCS 2004: 423-426 | |
| 1 | William B. Gardner | [2] [3] |
| 2 | Charlie Obimbo | [1] |
Colors in the list of coauthors
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page