Normal view
MARC view
Pol, Jaco van de (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.