Verbonden aan
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
Postadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
Postbus 217
7500 AE Enschede