Ponencia
Using Maude
Autor/es | Clavel, Manuel
Durán, Francisco Eker, Steven Lincoln, Patrick Martí Oliet, Narciso Meseguer, José Quesada Moreno, José Francisco |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2000 |
Fecha de depósito | 2019-06-12 |
Publicado en |
|
ISBN/ISSN | 978-3-540-67261-6 0302-9743 |
Cita | Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí Oliet, N., Meseguer, J. y Quesada Moreno, J.F. (2000). Using Maude. En FASE 2000 : Third International Conference on Fundamental Approaches to Software Engineering (371-374), Berlin, Germany: Springer. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Using Maude.pdf | 172.4Kb | [PDF] | Ver/ | |