Hoosier

释义

印第安纳州人；

Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs
CALM and Cadena: metamodeling for component-based product-line development
Encounters of the Third Kind.
Lines of H2 in extreme-ultraviolet solar spectra
Component-Based Product-Line Development
Nail holding hammer head