Curtis W. Keller

	2005
1		Curtis W. Keller, Diptikalyan Saha, Samik Basu, Scott A. Smolka: FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs. TACAS 2005: 563-569

Coauthor Index

1	Samik Basu	[1]
2	Diptikalyan Saha	[1]
3	Scott A. Smolka	[1]