Methods, International Symposium of Formal books & textbook
Fme '94 : Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24 -28, 1994 : Proc
Methods, International Symposium of Formal Naftalin, Maurice Denvir, Tim Bertran, Miquel
Springer /1994T Paperback / 744 Pages
isbn-10: 3540585559 / isbn-13: 9783540585558
