Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedings
CAV (Conference) (5th 1993 Eloúnda, Greece) Costas Courcoubetis
Berlin New York Springer-Verlag c1993
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.697 e.1 ) e outros locais(Acessar)