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
Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.1051 e.1 ) y otras localizaciones(Obténgalo)