Normal view
MARC view
Formal methods (Computer science) (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]