Search results for: Germán Puebla
Lecture Notes in Computer Science > Analysis and Visualization Tools for Constraint Programming > Part I. Correctness Debugging > 63-107
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Software Development and Program Analysis > 163-178
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 > Logic Based Program Synthesis and Transformation > Program Transformations > 80-97
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 > Logic-Based Program Synthesis and Transformation > Verification > 273-292
Lecture Notes in Computer Science > Static Analysis > Session 3 > 107-126