Search results for: Fausto Spoto
Software: Practice and Experience > 49 > 7 > 1131 - 1161
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Static Analysis > 154-166
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 261-275
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 95-110
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Applied Abstract Interpretation > 346-362
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2005 > Software Security > 351-365
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Regular Papers > 380-395
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Presentations > 455-470
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 405-424
Lecture Notes in Computer Science > Functional and Logic Programming > Program Analysis and Transformation > 311-325
Science of Computer Programming > 2014 > 95 > Part 3 > 359-375
Theoretical Computer Science > 2013 > 484 > Complete > 16-40