About Us
Research
People
Publications
Projects
Activities
Society

Login

About Us
Research
People
Publications
Projects
Activities
Society

in_proceedings

Detail

Publication date: 23 de April, 2025

Practical Deductive Verification of OCaml Programs

Share

Pub. Date	13/09/2024

Home
Events
About Us
News
People
Society

follow us

NOVA School of Science & Technology
Department of Computer Science
Campus de Caparica
2829-516 Caparica
Portugal

nova-lincs.sec@fct.unl.pt
direct +351 212948536
central +351 212948300

NOVA LINCS receives financial support from FCT under the funding:

UID/PRR/04516/2025

UID/04516/2025