Search results for: Francisco Bueno
International Journal of Dairy Technology > 71 > 1 > 112 - 121
European Journal of Wildlife Research > 2017 > 63 > 5 > 1-2
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: Implementations, Logics, and Programs > 77-91
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Verification > 273-292
Lecture Notes in Computer Science > Static Analysis > 102-116
Lecture Notes in Computer Science > Concurrency, Graphs and Models > Constraint and Logic Programming > 209-237
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP98 > Posters > 472-472
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Specialisation > 86-102
Lecture Notes in Computer Science > Static Analysis > Invited Paper > 127-152
Lecture Notes in Computer Science > Analysis and Visualization Tools for Constraint Programming > Part I. Correctness Debugging > 23-61