1 citations · 1 across the 3 of their papers we have counts for
1 paper · 2 filters
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar +1
The Homeomorphic Embedding relation has been amply used for defining termination criteria of symbolic methods for program analysis, transformation, and verification. However, homeo…