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

H2020 projects about "cheri"

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

# achronym  title  year 
1 ELVER Engineering with Logic and Verification: Mathematically Rigorous Engineering for Safe and Secure Computer Systems 2018