Opendata, web and dolomites

H2020 projects about "sledgehammer"

The page lists 1 projects related to the topic "sledgehammer".

# achronym  title  year 
1 Matryoshka Fast Interactive Verification through Strong Higher-Order Automation 2017