Search results for: David A. Schmidt
Journal of Volcanology and Geothermal Research > 2017 > 344 > C > 52-64
Lecture Notes in Computer Science > Formal Modeling: Actors, Open Systems, Biological Systems > Actors and Programming Languages > 90-109
Lecture Notes in Computer Science > Static Analysis > Session 3 > 127-143
Lecture Notes in Computer Science > Static Analysis > 131-146
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Declarative Languages and Software Engineering (Invited) > 360-364
Lecture Notes in Computer Science > ESOP '92 > 151-166
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 263-278
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues > ASIAN’2006 > 75-89