Related Books
Language: en
Pages: 724
Pages: 724
Type: BOOK - Published: 1996-03-06 - Publisher: Springer Science & Business Media
This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 w
Language: en
Pages: 723
Pages: 723
Type: BOOK - Published: 1996-04-01 - Publisher:
Language: en
Pages: 723
Pages: 723
Type: BOOK - Published: 1994 - Publisher:
Language: en
Pages: 711
Pages: 711
Type: BOOK - Published: 2014-03-12 - Publisher: Springer
This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 w
Language: en
Pages: 706
Pages: 706
Type: BOOK - Published: 1997-09-03 - Publisher: Lecture Notes in Computer Science
This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Stren
