Sciweavers

CADE
2008
Springer
15 years 10 months ago
MTT: The Maude Termination Tool (System Description)
Francisco Durán, Salvador Lucas, José...