00886nam0-2200265 --450 991031205090332120190322121148.03540415238 (alk. paper)20190322d2001--------kmuy0itay5050----baengDESystems and software verificationmodel-checking techniques and tools /B. Bérard ... [et al.]Berlin ;New YorkSpringerc2001xii, 190 p.ill. ;24 cmIncludes bibliographical references (p. [179]-182).Computer systemsVerificationComputer softwareVerification005.1/4Bérard,Béatrice598511ITUNINARICAUNIMARC991031205090332113 65 072129 / 2018FINBCFINBCSystems and software verification1028436UNINA