Registered user since Fri 3 Jul 2015
Name:Constantin Enea
Affiliation:University of Paris Diderot, France
Personal website:https://www.irif.fr/~cenea/
Contributions
| PLDI 2020 | Inductive Sequentialization of Asynchronous Programs Behavioral Simulation for Smart Contracts | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2020-profile
View general profile
View general profile