Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Mahe, Erwan; Bannour, Boutheina; Gaston, Christophe; Lapitre, Arnault; Le Gall, Pascale
Journal title: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal
Journal publisher: Association for Computing Machinery
Published year: 2024
DOI identifier: 10.1145/3644033.3644382
ISSN: 4007-0589
Search
Organisations
- Not specified