Search results for: Radhia Cousot
IFIP — The International Federation for Information Processing > Building the Information Society > Abstract Interpretation > 359-366
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Program Analysis > 456-472
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 > Verification, Model Checking, and Abstract Interpretation > 150-168
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 269-295
Lecture Notes in Computer Science > Program Analysis and Compilation, Theory and Practice > Technical Papers > 175-200
Lecture Notes in Computer Science