Registered user since Fri 3 Jul 2015
Name: Constantin Enea
Affiliation: LIAFA, Université Paris Diderot
Contributions
| VMCAI 2017 | Session Chair of Symbolic analysis and invariant synthesis (part of VMCAI) | ||||||||||||||||||||||||||||||||||||||||
| POPL 2017 | On Verifying Causal Consistency | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2017-profile
View general profile
View general profile