SPLASH 2020 (series) / Constantin Enea
Registered user since Fri 3 Jul 2015
Name:Constantin Enea
Affiliation:University of Paris / IRIF / CNRS
Personal website:https://www.irif.fr/~cenea/
Contributions
| SPLASH 2020 | Proving Highly-Concurrent Traversals Correct Testing Consensus Implementations using Communication Closure | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2020-profile
View general profile
View general profile