Publications

Static And Dynamic Verification Of Ocaml Programs: The Gospel Ecosystem

AuthID
P-017-EMJ

Author(s)

Soares, TL

Chirica, I

Pereira, M

Editor(s)

Margaria,T;Steffen,B

Document Type

Proceedings Paper

Year published

2025

Published

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

Volume: 15221 LNCS, Pages: 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