MIchael Hicks - 2030 Software Engineering

Mon 15 - Fri 19 July 2024

co-located with FSE 2024

Not registered as user yet

Name:MIchael Hicks

Country:United States

Affiliation:Amazon

Contributions

2024

ESEC/FSE

How We Built Cedar: A Verification-Guided Approach

Show activities from other conferences

FSE 2024-profile
View general profile