Search results for: John Hatcliff
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Parametrization and Slicing > 73-89
Lecture Notes in Computer Science > SPIN Model Checking and Software Verification > Papers > 205-223
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics and Programs > 279-298
Lecture Notes in Computer Science > Partial Evaluation > 161-182
Lecture Notes in Computer Science > Partial Evaluation > Practice and Experience Using Partial Evaluators > 20-82
Lecture Notes in Computer Science > Embedded Software > Regular Papers > 173-189
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools > 158-162
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Components I > 144-159
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Components I > 160-164
Lecture Notes in Computer Science > Construction and Analysis of Safe, Secure, and Interoperable Smart Devices > 210-228
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Code Understanding and Validation > 269-272