Normal view
MARC view
Gnesi(Personal Name)
Machine generated authority record
Work cat.: (OSt)1718488: Gnesi, Formal Methods for Industrial Critical Systems: A Survey of Applications