logsem

Results 1 repositories owned by logsem

aneris

31
Stars
6
Forks
Watchers

Program logic for developing and verifying distributed systems

verified publisher icon logsem