Registered user since Fri 5 Jul 2019

Name: Michael Soegtrop

Affiliation: Intel

Contributions

CoqPL 2020Committee Member in Program Committee within the CoqPL-track