Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Robert Mensing
conf.researchr.org general profile
APLAS & ATVA 2026 profile
Not registered as user
Name:
Robert Mensing
Affiliation:
University of Twente
Contributions
2026
APLAS
Author of Spectral - Translating Specifications for Deductive Verification into LLVM-IR within the ATVA Research Papers-track
Share
x
Fri 30 Oct 00:33