Registered user since Sat 9 Mar 2019
Name:David Cok
Affiliation:CEA, LIST, Software Safety and Security Laboratory
Contributions
FTfJP 2018 | Reasoning about Functional Programming in Java and C++ Specification Idioms from Industrial Experience | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ECOOP and ISSTA 2018-profile
View general profile
View general profile