Computer Aided Verification
de Tayssir Touili, Byron Cook, Paul Jackson
Ediciones (1)
- Computer Aided Verification (2010)
Springer London, Limited · inglés · ISBN 9783642142956
de Tayssir Touili, Byron Cook, Paul Jackson
Springer London, Limited · inglés · ISBN 9783642142956