Susan D. High

	2007
1		Matthias F. Stallmann, Suzanne Balik, Robert D. Rodman, Sina Bahram, Michael C. Grace, Susan D. High: ProofChecker: an accessible environment for automata theory correctness proofs. ITiCSE 2007: 48-52

Coauthor Index

1	Sina Bahram	[1]
2	Suzanne Balik	[1]
3	Michael C. Grace	[1]
4	Robert D. Rodman	[1]
5	Matthias F. Stallmann	[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