BIBLIOS

   Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Livro

Tipo de Documento
Conference proceedings edition

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

Participantes na publicação
Antónia Lopes (Editor)
Dep. Informática
Data de Publicação
2024-04-14

Identificadores da Publicação

Local
New York NY United States

Editora
Association for Computing Machinery

Edição
1

Identificadores do Documento
DOI - https://doi.org/10.1145/3644033
URL - http://dx.doi.org/10.1145/3644033
ISBN - 979-8-4007-0589-2


Exportar referência

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} }