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