Rewriting Logic and Its Applications Más libros de Santiago Escobar

Logic-Based Program Synthesis and Transformation

2025