Lukas Armborst

Lukas Armborst

  • Source: Scopus
  • Calculated based on no. 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
  • 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    70 Downloads (Pure)