Normal view
MARC view
Design Verification (Topical Term)
Machine generated authority record
Work cat.: (NEDUET)744608: Holzmann, Gerard J. 779061, The Model Checker Spin