Computer aided verification 16th international conference, CAV 2004, Boston, MA, USA, July 13-17 2004 ; proceedings
CAV (Conference) (16th 2004 Boston, MA) Rajeev Alur 1966; Doron Peled 1962
Berlin Springer New York c2004
Acesso online. A biblioteca também possui exemplares impressos.