Computer Aided Verification [E-Book]: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings / edited by P. Madhusudan, Sanjit A. Seshia.
Madhusudan, P.
Seshia, Sanjit A.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
digital.
englisch
9783642314247
10.1007/978-3-642-31424-7
Lecture notes in computer science ; 7358
Full Text
Description not available.