Message from the PC and General Chairs of FormaliSE 2018
Övrigt konferensbidrag, 2018
Författare
Stefania Gnesi
Istituto di Scienza e Tecnologie dell'Informazione A. Faedo
P. Spoletini
Kennesaw State University
Nico Plat
Thanos
Patrizio Pelliccione
Göteborgs universitet
Proceedings - 2018 ACM/IEEE Conference on Formal Methods in Software Engineering, FormaliSE 2018
2018 ACM/IEEE Conference on Formal Methods in Software Engineering, FormaliSE 2018
Göteborg, Sweden,
Göteborg, Sweden,
Ämneskategorier (SSIF 2011)
Datorsystem