Search results for: Patrick Cousot
IFIP — The International Federation for Information Processing > Building the Information Society > Abstract Interpretation > 359-366
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Invited Paper > 1-24
Lecture Notes in Computer Science > Abstraction, Reformulation, and Approximation > Invited Talks > 1-25
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Static Analysis > 189-201
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Program Analysis > 456-472
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Regular Papers > 112-128
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Invited Tutorials > 20-24
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues > ASIAN’2006 > 272-300
Lecture Notes in Computer Science > Static Analysis > 388-394
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 150-168