Bas van den Heuvel - SPLASH 2021

Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

Registered user since Mon 20 Sep 2021

Name:Bas van den Heuvel

Country:Netherlands

Affiliation:University of Groningen

Personal website: https://basvdheuvel.github.io/

GitHub: https://github.com/basvdheuvel

Contributions

2021

AGERE

Towards Practical Protocol Verification via Minimal Orchestration in ACP

Show activities from other conferences

SPLASH 2021-profile
View general profile