Normal view
MARC view
Alberto Lluch Lafuente, Anastasia Mavridou(Personal Name)
Machine generated authority record
Work cat.: (OSt)1657295: Alberto Lluch Lafuente, Anastasia Mavridou, Formal Methods for Industrial Critical Systems