Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Perry Alexander
conf.researchr.org general profile
ETAPS 2019 profile
NASA Formal Methods 2023 profile
Not registered as user
Name:
Perry Alexander
Contributions
2023
NFM
Session Chair of Software Verification (part of NFM 2023)
2019
POST
Author of Orchestrating Layered Attestations within the POST 2019-track
Share
x
Mon 22 Sep 16:54