👤

International Symposium of Formal Methods Europe (3rd 1996 Oxford, England)

1 book

Books by International Symposium of Formal Methods Europe (3rd 1996 Oxford, England)

FME '96, industrial benefit and advances in formal methods
FME '96, industrial benefit and advances in formal methods
1996