Anya Tafliovich

2006
2	EE	Anya Tafliovich, Eric C. R. Hehner: Quantum Predicative Programming. MPC 2006: 433-454
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	Eric C. R. Hehner	[2]
6	Albert Y. C. Lai	[1]
7	Victor Petrovykh	[1]
8	Christopher Thompson-Walsh	[1]

Colors in the list of coauthors