Mind the gap

Proceedings of the 8th International Conference on Formal Methods in Software Engineering ◽

10.1145/3372020.3391561 ◽

2020 ◽

Author(s):

Mehrnoosh Askarpour ◽

Claudio Menghi ◽

Gabriele Belli ◽

Marcello M. Bersani ◽

Patrizio Pelliccione

Download Full-text