FME 96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, ... (Lecture Notes in Computer Science) by Marie-Claude Gaudel

download center

FME 96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored

IFIP WG 14.3, Oxford, ... (Lecture Notes in Computer Science) by Marie-Claude Gaudel - FME 96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored
Enter the sum