Logic and Semantics @ Aarhus University

icon indicating a website link https://cs.au.dk/research/logic-and-semantics

icon location Aarhus, Denmark

Results 1 repositories owned by Logic and Semantics @ Aarhus University

aneris

31
Stars
6
Forks
Watchers

Program logic for developing and verifying distributed systems

verified publisher icon logsem