Christopher Thompson-Walsh

2003
1	EE	Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher Thompson-Walsh: \chiChek: A Model Checker for Multi-Valued Reasoning. ICSE 2003: 804-805

Coauthor Index

1	Marsha Chechik	[1]
2	Benet Devereux	[1]
3	Steve M. Easterbrook	[1]
4	Arie Gurfinkel	[1]
5	Albert Y. C. Lai	[1]
6	Victor Petrovykh	[1]
7	Anya Tafliovich	[1]