Computer aided verification proceedings
International Conference on Computer-Aided Verification (4. 1992 Montreal) Gregor von Bochmann
Berlin Springer 1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.663 e.1 ) e outros locais(Acessar)