Benedikt Bollig - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Registered user since Tue 29 Jan 2019

Name:Benedikt Bollig

Country:France

Affiliation:CNRS, LSV, ENS Paris-Saclay

Personal website: https://www.benedikt-bollig.org

Contributions

2019

FOSSACS

Identifiers in Registers – Describing Network Algorithms with Logic

Show activities from other conferences

ETAPS 2019-profile
View general profile