Login / Signup
Lukas Armborst
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
External Forces
Adverse Selection
Abductive Inference
Tree Models
Top Venues
FormaliSE@ICSE
iFM
</>
Publications
</>
Lukas Armborst
,
Sophie Lathouwers
,
Marieke Huisman
Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation.
iFM
(2023)
Lukas Armborst
,
Marieke Huisman
Permission-Based Verification of Red-Black Trees and Their Merging.
FormaliSE@ICSE
(2021)