Normal view
MARC view
Eindhoven (2005) (Genre/Form Term)
Machine generated authority record.
Work cat.: (AT-ISTA): International Conference on Integrated Formal Methods (5th : 2005 : Eindhoven, Netherlands) 28306, Integrated formal methods :, ©2005.