Normal view MARC view

Barnat, Jiří (Personal Name)

Number of records used in: 1
Preferred form: Barnat, Jiří

Machine generated authority record.

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

Powered by Koha