Skip to main content

Principles and Methods to Verify OCaml Programs

Project description

Developing a deductive verification framework for OCaml programmes

Call for proposal

H2020-MSCA-IF-2019
See other projects for this call

Coordinator

UNIVERSIDADE NOVA DE LISBOA
Address
Campus De Campolide
1099 085 Lisboa
Portugal
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 147 815,04