Formal methods for components and objects first international symposium, FMCO 2003, Leiden, the Netherlands November 4-7, 2003 : revised lectures
FMCO 2003 (2003 Leiden, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer
Berlin Springer-Verlag New York c2004
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3188 ) e outros locais(Acessar)