Normal view MARC view

International Workshop on Formal Methods for Industrial Critical Systems (21st : 2016 : Pisa, Italy) (Meeting Name)

Number of records used in: 1
Preferred form: International Workshop on Formal Methods for Industrial Critical Systems (21st : 2016 : Pisa, Italy)

Machine generated authority record.

Work cat.: (AT-ISTA): International Workshop on Formal Methods for Industrial Critical Systems (21st : 2016 : Pisa, Italy), Critical systems :

Powered by Koha