Reading: FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, ... (Lecture Notes in Computer Science, 1051) full version

You are about to access our book library "FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, ... (Lecture Notes in Computer Science, 1051) full version" .