Search results for: Elvira Albert
Journal of Automated Reasoning > 2017 > 59 > 1 > 47-85
Lecture Notes in Computer Science > Programming Languages and Systems > Software Security and Verification > 294-310
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Program Termination > 23-42
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 38-53
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 377-391
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Transformations > 115-132
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Software Development and Program Analysis > 147-162
Lecture Notes in Computer Science > Functional and Logic Programming > Program Analysis and Transformation > 326-342
Lecture Notes in Computer Science > Static Analysis > Session 3 > 107-126
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 380-397
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Session 10 > 376-395
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The MOBIUS Project > 113-132
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Specialisation > 103-124