Home / Authors / International Symposium of Formal Methods

Books by International Symposium of Formal Methods

All books by this author

1 book found ← Back to Search
Fme '94 : Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24 -28, 1994 : Proc
🇺🇸 United States
Fme '94 : Industrial Benefit of Formal Methods : Secon…
By: International Symposium of Formal Methods
View Details