Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Robert Rubbens
conf.researchr.org general profile
PLNL 2023 profile
Not registered as user
Name:
Robert Rubbens
Affiliation:
University of Twente
Contributions
2023
PLNL
Author of Advances & challenges in model-based deductive verification of programs within the PLNL 2023-track
Share
x
Sat 21 Dec 17:57