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