![]() | ![]() |
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 |
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] |