Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin Germany, July 1-2, 2007
International Workshop on Formal Methods for Industrial Critical Systems (12th 2007 Berlin, Germany) Stefan Leue; Pedro Merino
Berlin Springer London 2008
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4916 ) e outros locais(Acessar)