Normal view MARC view

International Workshop on Formal Methods for Industrial Critical Systems (13th : 2008 : L'Aquila, Italy) (Meeting Name)

Number of records used in: 1
Preferred form: International Workshop on Formal Methods for Industrial Critical Systems (13th : 2008 : L'Aquila, Italy)

Machine generated authority record.

Work cat.: (AT-ISTA): International Workshop on Formal Methods for Industrial Critical Systems (13th : 2008 : L'Aquila, Italy), Formal methods for industrial critical systems :, ©2009.

Powered by Koha