Integrated formal methods : Third International Conference, IFM 2002 : Turku, Finlandia, May 15-18, 2002 : proceedings
En línea
x, 399 p. : il. ; 24 cm
9783540437031, 3540437037
912326973