![Martin Vechev](https://hopl4.sigplan.org/getProfileImage/martinvechev/a6d5e0cc-0c46-404b-8e0b-116b57afa1b5/small.jpg?1711466810000)
Registered user since Thu 10 Jul 2014
Name:Martin Vechev
Country:Switzerland
Affiliation:ETH Zurich
Personal website: http://www.srl.inf.ethz.ch/vechev.php
Contributions
PLDI 2021-profile
View general profile
View general profile
Registered user since Thu 10 Jul 2014
Contributions