Klaus Havelund,National Aeronautics and Space Administration, United States,Software Engineering,Programming Languages,Algorithms & Theory

Profile - Klaus Havelund
Klaus Havelund
Publications: 114 | Citations: 3827
Fields: Software EngineeringProgramming LanguagesAlgorithms & Theory
View FAQ about top research areas and Fields of study
Collaborated with  97 co-authors from 1984 to 2011 | Cited by 2880 authors
Cumulative Annual
Sort by:

Publications (114)
BibTeX | RIS | RefWorks Download

Sort by: