Welkom...

L. Armborst (Lukas)

Promovendus

Publicaties

Recent
Armborst, L. , & Huisman, M. (2021). Permission-Based Verification of Red-Black Trees and Their Merging. In FormaliSE 21: Proceedings of the 9th International Conference on Formal Methods in Software Engineering (Vol. 1, pp. 111-123) https://doi.org/10.1109/FormaliSE52586.2021.00017

Pure Link

Contactgegevens

Bezoekadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (gebouwnr. 11)
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
Postbus 217
7500 AE Enschede