Wyniki wyszukiwania dla: Mitchell Wand
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 44-58
Lecture Notes in Computer Science > ESOP '92 > 408-417
Lecture Notes in Computer Science > TAPSOFT'93: Theory and Practice of Software Development > 686-701
Lecture Notes in Computer Science > Static Analysis > 162-178
Lecture Notes in Computer Science > Semantics, Applications, and Implementation of Program Generation > Invited Talks > 45-46
Lecture Notes in Computer Science > Programming Languages and Systems > Program Analysis: Principles > 213-227
Lecture Notes in Computer Science > Logics of Programs > 219-224
Electronic Notes in Theoretical Computer Science > 2011 > 276 > Complete > 313-334
Higher-Order and Symbolic Computation > 2007 > 20 > 3 > 231-235