Welkom...

L. Armborst (Lukas)

Promovendus

Publicaties

Recent
Armborst, L. , Lathouwers, S. , & Huisman, M. (2024). Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. In P. Herber, & A. Wijs (Eds.), iFM 2023: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings (pp. 153-171). (Lecture notes in computer science; Vol. 14300). https://doi.org/10.1007/978-3-031-47705-8_9
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

Contactgegevens

Bezoekadres

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

Navigeer naar locatie

Postadres

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