Sciweavers

MAUDE
2007
Springer

System Modules

14 years 5 months ago
System Modules
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
Comments (0)