CLIP Group's Publications in 2025
Technical Reports and Manuals:
- Daniela Ferreiro, Ignacio Casso, Pedro Lopez-Garcia, José F. Morales, Manuel V. Hermenegildo.
Checkification: A Practical Approach for Testing Static Analysis Truths.
Num. CLIP-1/2025.0,
IMDEA Software Institute and Technical University of Madrid (UPM),
January
2025.
arXiv 2501.12093.
Last updated on Sun Feb 16 09:43:21 PM CET 2025