Normal view
MARC view
ISoLA (Symposium) (11th : 2022 : Rhodes, Greece) (Meeting Name)
Machine generated authority record
Work cat.: (AT-ISTA)657046: ISoLA (Symposium) (11th : 2022 : Rhodes, Greece), Leveraging applications of formal methods, verification and validation : Part I /