Jump To :
Titles
Computer systems - Verification.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Principles of model checking
by:
Katoen, Joost-Pieter; Baier, Christel
(Language materials, printed)