Message from the PC and General Chairs of FormaliSE 2018
Other conference contribution, 2018
Author
Stefania Gnesi
Istituto di Scienza e Tecnologie dell'Informazione A. Faedo
P. Spoletini
Kennesaw State University
Nico Plat
Thanos
Patrizio Pelliccione
University of Gothenburg
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,
Subject Categories
Computer Systems