
Registered user since Sun 27 May 2018
Name:Karl Palmskog
Contributions
CoqPL 2017 | Verification of Implementations of Distributed Systems Under Churn | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2017-profile
View general profile
View general profile
Registered user since Sun 27 May 2018
Contributions
CoqPL 2017 | Verification of Implementations of Distributed Systems Under Churn | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |