Systems and software verification : model-checking techniques and tools / B. Bérard, M. Bidoit, A. Finkel... [et al.] ; [traduction par] Pierre McKenzie
Date : 2001
Type : Livre / Book
Langue / Language : anglais / English
ISBN : 3-540-41523-8
ISBN : 978-3-642-07478-3
EAN : 9783642074783
Logiciels -- Vérification