Systems and software verification : model-checking techniques and tools


· B. Bérard ... [et al.] ; [translated with the help of Pierre McKenzie]
Bok Engelsk 2001

Detaljer

Bibliotek som har denne