Opendata, web and dolomites

H2020 projects about "counterexample"

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

# achronym  title  year 
1 OXTOP Low-dimensional topology in Oxford 2016
2 ALGOCERT Devising certifiable and explainable algorithms for verification and planning in cyber-physical systems 2019
3 DEFGROUP Definable and pseudofinite groups 2020