FME 2001: Formal Methods For Increasing Software Productivity


FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings (Lecture Notes in Computer Science)

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings (Lecture Notes in Computer Science) (2001-03-26)

[(Fme 2001 Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings)] [Edited by Jose N. Oliveira ] published on (April, 2001)

Fme 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings

FME 2001: Formal Methods for Increasing Software Productivity

FM 2005: Formal Methods

Computer Science Logic

Reliable Software Technologies - Ada-Europe 2001

Computer Vision Systems : ... International Conference, ICVS ..., Proceedings

Proceedings

Information Security and Privacy

Logic Based Program Synthesis and Transformation

Proceedings of the ... ACM Workshop on Formal Methods in Security Engineering

Embedded Software

Topics in Cryptology - CT-RSA 2001

American Book Publishing Record

Books in Print

Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata

ACM SIGPLAN Notices

Recent Post