Systems and software verification : model-checking techniques and tools / B. Bérard ... [et al.].
- Berlin [etc.] : Springer , cop. 2001 .
- XII, 190 p. ; 24 cm.
ISBN 3-540-41523-8
Sistema informático
Software
LCC QA76.76
ISBN 3-540-41523-8
Sistema informático
Software
LCC QA76.76
