FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings


International Symposium of Formal Methods Europe
Bok Engelsk 1994

Detaljer

Bibliotek som har denne