https://www.ebooknetworking.net/books_detail-0387585559.html

Fme '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24-28, 1994 : Proc (Lecture Notes in Computer Science)

Name: Fme '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24-28, 1994 : Proc (Lecture Notes in Computer Science)
Author: spai International Symposium of Formal Methods Europe 1994 Barcelona, Tim Denvir, Maurice Naftalin, Miquel Bertran
ISBN: 9780387585550