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