Presentation
Using Maude
Author/s | Clavel, Manuel
Durán, Francisco Eker, Steven Lincoln, Patrick Martí Oliet, Narciso Meseguer, José Quesada Moreno, José Francisco |
Department | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Publication Date | 2000 |
Deposit Date | 2019-06-12 |
Published in |
|
ISBN/ISSN | 978-3-540-67261-6 0302-9743 |
Citation | 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. |
Files | Size | Format | View | Description |
---|---|---|---|---|
Using Maude.pdf | 172.4Kb | [PDF] | View/ | |