Normal view
MARC view
Taguchi, Kenji, 1956- (Personal Name)
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]