Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /

Bibliographic Details
Main Author:	Hunt, Jr., Warren A.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Somenzi, Fabio
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.
Series:	Lecture notes in computer science ; 2725.
Subjects:	Artificial intelligence. Computer science. Logic design. Software engineering. Artificial Intelligence (incl. Robotics) Logic Design. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Software Engineering. Special Purpose and Application-Based Systems. Electronic books.
Online Access:	Connect to the full text of this electronic book

Published 2003

Conference Proceeding Book