Registered user since Fri 26 Feb 2016

Name: Klaus Havelund

Country: Denmark

Affiliation: NASA/Caltech Jet Propulsion Laboratory

Personal website: http://www.havelund.com

Research interests: runtime verification, modeling, programming, program verification

ECOOP 2016 Activities

• Committee Member in Program Committee for VORTEX
• Show activities from other conferences