Registered user since Mon 19 Apr 2021
Name:Lukas Armborst
Country:Netherlands
Affiliation:University of Twente
Contributions
| FormaliSE 2021 | Permission-Based Verification of Red-Black Trees and Their Merging | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2021-profile
View general profile
View general profile