Madhusudan, P.Seshia, Sanjit A. (Eds.) () Computer Aided Verification24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 ProceedingsMLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
edited by P. Madhusudan, Sanjit A. Seshia.
|Names:||Madhusudan, P. | Seshia, Sanjit A.|
|Published:||Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.|
Lecture Notes in Computer Science, 7358
|Topics:||Computer science. | Computer hardware. | Software engineering. | Logic design. | Artificial intelligence. | Computer Science. | Logics and Meanings of Programs. | Software Engineering. | Mathematical Logic and Formal Languages. | Artificial Intelligence (incl. Robotics). | Special Purpose and Application-Based Systems. | Computer Hardware.|