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