Computer aided verification :
Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 proceedings /
Editors:E. Allen Emerson, A. Prasad Sistla
- New York : Springer, c2000.
- x, 582p. : ill. ; 24 cm.
Includes bibliographical references and index.
9783540677703 3540677704
Computer software--Verification--Congresses.
Integrated circuits--Verification--Congresses.
Circuits int�egr�es--V�erification--Congr�es.
Logiciels--V�erification--Congr�es.
004.24 / COM
Includes bibliographical references and index.
9783540677703 3540677704
Computer software--Verification--Congresses.
Integrated circuits--Verification--Congresses.
Circuits int�egr�es--V�erification--Congr�es.
Logiciels--V�erification--Congr�es.
004.24 / COM