Maurice Naftalin Books
Fme '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24-28, 1994: Proc
By Maurice Naftalin, Tim Denvir, International Symposium Of Formal Methods Europe 2nd 1994 Barcelona Spain, Spai International Symposium Of Formal Methods Europe 1994 Barcelona
Read More