Lukas Armborst

Registered user since Mon 19 Apr 2021

Name:Lukas Armborst
Country:Netherlands
Affiliation:University of Twente

Contributions

FormaliSE 2021 Author of Permission-Based Verification of Red-Black Trees and Their Merging within the FormaliSE 2021-track