
Registered user since Fri 19 May 2017
Name:Damian Dechev
Contributions
ICPC 2019 | CCSpec: A Correctness Condition Specification Tool | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2019-profile
View general profile
View general profile
Registered user since Fri 19 May 2017
Contributions
ICPC 2019 | CCSpec: A Correctness Condition Specification Tool | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |