Normal view
MARC view
Computer software Verification. (Topical Term)
Machine generated authority record.
Work cat.: (OSt)0: International Conference on Formal Engineering Methods (14th : 2012 : Kyoto, Japan) 11138, Formal methods and software engineering, [2012]