Publicações

Static And Dynamic Verification Of Ocaml Programs: The Gospel Ecosystem

AuthID
P-017-EMJ

Author(s)

Soares, TL

Chirica, I

Pereira, M

Editor(es)

Margaria,T;Steffen,B

Tipo de Documento

Proceedings Paper

Year published

2025

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 15221 LNCS, Páginas: 247-265 (18)

Conference

12Th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Isola 2024, Date: 27 October 2024 through 31 October 2024, Location: Crete

Indexing