Opendata, web and dolomites

H2020 projects about "isabelle"

The page lists 4 projects related to the topic "isabelle".

# achronym  title  year 
1 CoVeCe Coinduction for Verification and Certification 2016
2 SMART Strong Modular proof Assistance: Reasoning across Theories 2017
3 Matryoshka Fast Interactive Verification through Strong Higher-Order Automation 2017
4 GROUT Governing ResOurce UrbanisaTion (GROUT): Multi-stakeholder governance of extractive industries in the era of planetary urbanisation 2020