Normal view
MARC view
Software (Topical Term)
Machine generated authority record.
Work cat.: (OSt): Garoche, Pierre-Lo�ic, 1982- author. 65275, Formal verification of control system software /