Computer Aided Verification
de Kousha Etessami, Sriram K. Rajamani
Materias
Ediciones (1)
- Computer Aided Verification (2005)
Springer London, Limited · inglés · ISBN 9783540316862
de Kousha Etessami, Sriram K. Rajamani
Springer London, Limited · inglés · ISBN 9783540316862