Parthasarathy,MadhusudanSeshia,Sanjit A. (Eds.) (June 201) Computer Aided Verification24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 ProceedingNew York : SpringerMLA 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
|Names:||Parthasarathy,Madhusudan | Seshia,Sanjit A.|
|Published:||New York : Springer June 2012|
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Ser. 7358