Normal view
MARC view
Program dependencies (Topical Term)
Machine generated authority record.
Work cat.: (OSt)193332: Laski, Janusk. 63227, Software verification and analysis :, 2012.