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 yet
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
Tue 3 Dec 18:08