Lukas Armborst

Lukas Armborst

 https://orcid.org/0000-0001-7565-0954
Calculated based on number of publications stored in Pure and citations from Scopus
20212021

Research activity per year

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Lukas Armborst is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint
  • 1 Conference contribution

  • Permission-Based Verification of Red-Black Trees and Their Merging

    Armborst, L. & Huisman, M., 24 Jun 2021, FormaliSE 21: Proceedings of the 9th International Conference on Formal Methods in Software Engineering. Vol. 1. p. 111-123 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    176 Downloads (Pure)