Message from the PC and General Chairs of FormaliSE 2018
Conference contribution, 2018


Stefania Gnesi

Istituto di Scienza e Tecnologie dell'Informazione A. Faedo

P. Spoletini

Kennesaw State University

Nico Plat


Patrizio Pelliccione

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering (Chalmers), Software Engineering for Testing, Requirements, Innovation and Psychology

2018 ACM/IEEE Conference on Formal Methods in Software Engineering, FormaliSE 2018
Göteborg, Sweden,

Subject Categories

Computer Systems

More information

Latest update