Combining norms to prove termination (0)

by S GENAIM, M CODISH, J GALLAGHER, V LAGOON
Venue:In Third International Workshop on Verification, Model Checking and Abstract Interpretation, A. Cortesi, Ed. Lecture Notes in Computer Science