Stephen Doxsee

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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

Coauthor Index

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