More Fields

Filters

Profiles which have:

Recent Changes

Profiles with recent changes to:
Sign up to Download

1-2 of 2 results

  • logsem.github.io
  • 19
We also develop tools for machine-supported reasoning in the models and logics. The tools range from full interactive verification in proof assistants to automatic program analysis and model checking...
Relevance: 11.157065
  • cs.au.dk
  • 134
  • 35
  • 149
The first Computer Science course activites started at Aarhus University in 1968 as a part of the Department of Mathematical Sciences. In 1971, Datalogisk Afdeling under Matematisk Institut (DAIMI) was formed and the first master in Computer Science..
Relevance: 2.047411