Amanda M. Holland-Minkley

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

2 Amanda M. Holland-Minkley: Cyberattacks: a lab-based introduction to computer security. SIGITE Conference 2006: 39-46

1999

1 Amanda M. Holland-Minkley, Regina Barzilay, Robert L. Constable: Verbalization of High-Level Formal Proofs. AAAI/IAAI 1999: 277-284

	2006
2		Amanda M. Holland-Minkley: Cyberattacks: a lab-based introduction to computer security. SIGITE Conference 2006: 39-46
	1999
1		Amanda M. Holland-Minkley, Regina Barzilay, Robert L. Constable: Verbalization of High-Level Formal Proofs. AAAI/IAAI 1999: 277-284

Coauthor Index

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