Vaastav Anand

Registered user since Sat 30 Jun 2018

Name: Vaastav Anand

Country: Canada

Affiliation: University of British Columbia

Personal website: https://vaastavanand.com/

Research interests: Distributed Systems, Software Engineering

Contributions

ESEC/FSE 2018 Dara - Hybrid Model Checking of Distributed Systems
Show activities from other conferences

ESEC/FSE 2018-profile
View general profile