BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Books

Document subtype
Conference proceedings edition

Title
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)

Participants in the publication
Antónia Lopes (Editor)
Dep. Informática
Date of Publication
2024-04-14

Publication Identifiers

Address
New York NY United States

Publisher
Association for Computing Machinery

Edition
1

Document Identifiers
DOI - https://doi.org/10.1145/3644033
URL - http://dx.doi.org/10.1145/3644033
ISBN - 979-8-4007-0589-2


Export

APA
(2024). Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)

IEEE
"Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)", 2024

BIBTEX
@book{61853, author = {}, title = {Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)}, year = 2024, publisher = {Association for Computing Machinery} }