Normal view MARC view

International Conference on Integrated Formal Methods (5th : 2005 : Eindhoven, Netherlands) (Meeting Name)

Number of records used in: 1
Preferred form: International Conference on Integrated Formal Methods (5th : 2005 : Eindhoven, Netherlands)

Machine generated authority record.

Work cat.: (AT-ISTA): International Conference on Integrated Formal Methods (5th : 2005 : Eindhoven, Netherlands), Integrated formal methods :, ©2005.

Powered by Koha