FME 2002: Formal methods - getting IT right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 ; proceedings
Lars-Henrik Eriksson d; Peter Alexander Lindsay
Berlin Springer 2002
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2391 ) e outros locais(Acessar)