Formal Methods Teaching
Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third
Petre, Luigia / Smith, Graeme
Erschienen am
01.10.2019, Auflage: 1. Auflage
Zusätzliche Informationen
Zurzeit sind keine weiteren Informationen zu diesem Artikel vorhanden.