Sciweavers

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