Systems and software verification : model-checking techniques and tools / B. Bérard, M. Bidoit, A. Finkel... [et al.] ; [traduction par] Pierre McKenzie

Date :

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 3-540-41523-8

ISBN : 978-3-642-07478-3

EAN : 9783642074783

Logiciels -- Vérification

McKenzie, Pierre (Traducteur / translator)