Computer Aided Verification [E-Book] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson.
Cook, Byron
Jackson, Paul / Touili, Tayssir
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
online resource
englisch
9783642142956
Lecture notes in computer science ; 6174
Full Text
Description not available.