Benet Devereux

发表

Christopher D. Thompson-Walsh, Marsha Chechik, Arie Gurfinkel, 2003, ICSE.

Marsha Chechik, Arie Gurfinkel, Steve M. Easterbrook, 2003, TSEM.

Marsha Chechik, Arie Gurfinkel, Benet Devereux, 2003, IEEE Trans. Software Eng..

Marsha Chechik, Arie Gurfinkel, Steve M. Easterbrook, 2006, Formal Methods Syst. Des..

Marsha Chechik, Steve M. Easterbrook, Benet Devereux, 2001, Proceedings 31st IEEE International Symposium on Multiple-Valued Logic.

Marsha Chechik, Arie Gurfinkel, Benet Devereux, 2002, SIGSOFT '02/FSE-10.

Marsha Chechik, Benet Devereux, 2006, FASE.

Benet Devereux, 2002, FICS.

Marsha Chechik, Arie Gurfinkel, Benet Devereux, 2002, CAV.

Marsha Chechik, Steve M. Easterbrook, Benet Devereux, 2001, TACAS.

Marsha Chechik, Benet Devereux, M. Chechik, 2003, J. Multiple Valued Log. Soft Comput..

Marsha Chechik, Arie Gurfinkel, Benet Devereux, 2001, SPIN '01.

Marsha Chechik, Arie Gurfinkel, Benet Devereux, 2002 .

Marsha Chechik, Steve M. Easterbrook, Benet Devereux, 2001, CONCUR.

Benet Devereux, 2001 .