conf.researchr.org / Marcelo Taube
Registered user since Tue 5 Jun 2018
Name: Marcelo Taube
Affiliation: Tel Aviv University, Israel
Contributions
| PLDI 2018 | Author of Modularity for Decidability of Deductive Verification with Applications to Distributed Systems within the PLDI Research Papers-track |