Normal view
MARC view
- Computer software
Computer software Verification. (Topical Term)
Machine generated authority record.
Work cat.: (BD-SySUS)0: Apt, Krzysztof R., 1949- 24786, Verification of sequential and concurrent programs /, c2009.