Home › Authors › International Symposium of Formal Methods Europe (2nd 1994 Barcelona, Spain) 👤 International Symposium of Formal Methods Europe (2nd 1994 Barcelona, Spain) 1 book Books by International Symposium of Formal Methods Europe (2nd 1994 Barcelona, Spain) FME '94, industrial benefit of formal methods 1994
