Kurt Baty

	2004
1		Francine Bacchini, Robert F. Damiano, Bob Bentley, Kurt Baty, Kevin Normoyle, Makoto Ishii, Einat Yogev: Verification: what works and what doesn't. DAC 2004: 274

Coauthor Index

1	Francine Bacchini	[1]
2	Bob Bentley	[1]
3	Robert F. Damiano	[1]
4	Makoto Ishii	[1]
5	Kevin Normoyle	[1]
6	Einat Yogev	[1]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page