Počet záznamů: 1
CAV 2010. Computer Aided Verification
- 1.0351299 DE BXXS
Touili, T. (ed.) - Cook, B. (ed.) - Jackson, P. (ed.)
CAV 2010. Computer Aided Verification.
Berlin: Springer, 2010. Lecture Notes in Computer Science, 6174. ISBN 978-3-642-14294-9. ISSN 0302-9743
Počet záznamů: 1