Benedikt Bollig

Registered user since Tue 29 Jan 2019

Name:Benedikt Bollig
Country:France
Affiliation:CNRS, LSV, ENS Paris-Saclay

Contributions

FOSSACS 2019 Author of Identifiers in Registers – Describing Network Algorithms with Logic within the FOSSACS 2019-track