FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
Laura Humphrey

Registered user since Fri 15 Apr 2022

Name:Laura Humphrey
Country:United States
Affiliation:Air Force Research Laboratory
Research interests:formal methods, autonomy, human-automation interaction, unmanned air vehicles

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile