Search results for: Elvira Albert
Fundamenta Informaticae > 2020 > Vol. 177, nr 3/4 > 203--234
Software Testing, Verification and Reliability > 28 > 3 > n/a - n/a
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