Normal view
MARC view
International Symposium of Formal Methods Europe (3rd : 2019 : Porto, Portugal) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): FMTea (Workshop) (3rd : 2019 : Porto, Portugal) 68390, Formal methods teaching :