Normal view
MARC view
John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou(Personal Name)
Machine generated authority record
Work cat.: (OSt)1623011: John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou, FM 2016: Formal Methods