Normal view
MARC view
Smith, Graeme, 1966- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Conference on Integrated Formal Methods (5th : 2005 : Eindhoven, Netherlands) 28306, Integrated formal methods :, ©2005.