More Fields

Filters

Profiles which have:

Recent Changes

Profiles with recent changes to:
Sign up to Download

1-3 of 3 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: 14.334788
  • www.versen.nl
  • 5
  • 52
VERSEN is the Dutch National Association for Software Engineering. Its mission is to bring together researchers, educators and practitioners in the field of software engineering in The Netherlands, who share the common goals of advancing the field or..
Relevance: 11.093393
  • 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.569442