Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Software Engineering Research
(28)
Software Testing and Debugging Techniques
(25)
Logic, programming, and type systems
(13)
Formal Methods in Verification
(10)
Software Reliability and Analysis Research
(9)
Affiliations
Goethe University Frankfurt
Lund University
University of Colorado Boulder
University of Massachusetts Amherst
University of Colorado System