Computer aided verification 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20 2006 : proceedings
CAV (Conference) (18th 2006 Seattle, Wash.) Thomas Ball 1965; Robert B Jones (Robert Brent) 1969
Berlin Springer New York c2006
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4144 ) e outros locais(Acessar)