Normal view MARC view

International Workshop on Formal Methods for Industrial Critical Systems (23rd : 2018 : Maynooth, Ireland) (Meeting Name)

Number of records used in: 1
Preferred form: International Workshop on Formal Methods for Industrial Critical Systems (23rd : 2018 : Maynooth, Ireland)

Machine generated authority record.

Work cat.: (AT-ISTA): International Workshop on Formal Methods for Industrial Critical Systems (23rd : 2018 : Maynooth, Ireland), Formal methods for industrial critical systems :

Powered by Koha