Blogs (61) >>

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