Home / Authors / International Symposium of Formal Methods

Books by International Symposium of Formal Methods

All books by this author

1 books found
Fme '94 : Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24 -28, 1994 : Proc
Fme '94 : Industrial Benefit of Formal Methods : Secon…
By: International Symposium of Formal Methods
View Details