Normal view
MARC view
International Conference on Formal Engineering Methods. (13th : 2011 : Durham, UK) (Meeting Name)
Machine generated authority record.
Work cat.: ()945173: International Conference on Formal Engineering Methods. (13th : 2011 : Durham, UK), Formal Methods and Software Engineering, 2011.
