Systems and software verification : model-checking techniques and tools /

B. Bérard ... [et al.].
Bok · Engelsk

Utgitt	Springer Berlin Heidelberg
Emner	Computer software - Verification. Computer systems - Verification.
Dewey	005.1/4