Fme'96 industrial benefit and advances in formal methods : proceedings [of the] third international symposium on formal methods europe co-sponsored by ifip wg 14.3, held in oxford, uk, march 18-22, 1996

International Symposium on Formal Methods Europe (3. 1996 Oxford, Uk) Marie-Clklaude Gaudel; James C P Woodcock

Berlin Springer 1996

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.1051 e.1 ) e outros locais(Acessar)