NASA Formal Methods 2024 (series) / David Naumann
Registered user since Mon 2 Jan 2023
Name:David Naumann
Country:United States
Affiliation:Stevens Institute of Technology
Personal website: https://dnaumann.github.io/dnaumann/
Research interests:software verification, security, semantics, programming languages
Contributions
NASA Formal Methods 2024-profile
View general profile
View general profile