Sciweavers

MAUDE
2007
Springer

Playing with Maude

14 years 6 months ago
Playing with Maude
Manuel Clavel, Francisco Durán, Steven Eker
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where MAUDE
Authors Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo
Comments (0)