T. Douglas Hiratzka

	2009
1		David Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas Wagner, Michael W. Whalen: Development of Security Software: A High Assurance Methodology. ICFEM 2009: 266-285

Coauthor Index

1	David Hardin	[1]
2	D. Randolph Johnson	[1]
3	Lucas Wagner	[1]
4	Michael W. Whalen	[1]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page