International Symposium of Formal Methods profile picture

International Symposium of Formal Methods

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Fme '94 : Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24 -28, 1994: Proc