ISSTA/ECOOP 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
Klaus Havelund

Registered user since Wed 10 Jul 2024

Name:Klaus Havelund
Country:United States
Affiliation:Jet Propulsion Laboratory, California Institute of Technology
Personal website: https://havelund.com/
Research interests:Formal Methods, Runtime Verification, Programming

Contributions

Show activities from other conferences

Using general profile