Opendata, web and dolomites

H2020 projects about "therof"

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

# achronym  title  year 
1 HORIP Higher-Order Rewriting for Intensional Properties of Programs and Circuits 2015