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

	
		OSZAR »