FME '96 : industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings
International Symposium of Formal Methods Europe
Bok Engelsk 1996