Moshe Y Vardi

Automated Technology for Verification and Analysis: Third International Symposium, Atva 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the Eacsl, Brno, Czech Republic, August 24-28, 1998, Proceedings

Formal Methods in Computer-Aided Design: 5th International Conference, Fmcad 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

Hardware and Software: Verification and Testing

Advances in Databases and Information Systems: 8th East European Conference, Adbis 2004, Budapest, Hungary, September 22-25, 2004, Proceedings