Opendata, web and dolomites
  1. home
  2. trasparenza
  3. open h2020
  4. per topic
  5. checkable

H2020 projects about "checkable"

The page lists 3 projects related to the topic "checkable".

# achronym  title  year 
1 ALEXANDRIA Large-Scale Formal Proof for the Working Mathematician 2017
2 FRAPPANT Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation 2018
3 FTHPC Fault Tolerant High Performance Computing 2019