David Crocker

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2007

2 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

	2007
2		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

Coauthor Index

1 Judith Carlton [2]

2 John H. Warren [1]

Colors in the list of coauthors