Using maude

Manuel Clavel, Fransisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, Jose Meseguer, Jose F. Quesada

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationFundamental Approaches to Software Engineering - 3rd International Conference, FASE 2000 Held as Part of the Joint European Conferenceson Theory and Practice of Software, ETAPS 2000, Proceedings
EditorsTom Maibaum
PublisherSpringer-Verlag
Pages371-374
Number of pages4
ISBN (Print)3540672613
StatePublished - Jan 1 2000
Externally publishedYes
Event3rd International Conference on Fundamental Approaches to Software Engineering, FASE 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 - Berlin, Germany
Duration: Mar 25 2000Apr 2 2000

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1783
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other3rd International Conference on Fundamental Approaches to Software Engineering, FASE 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000
CountryGermany
CityBerlin
Period3/25/004/2/00

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., & Quesada, J. F. (2000). Using maude. In T. Maibaum (Ed.), Fundamental Approaches to Software Engineering - 3rd International Conference, FASE 2000 Held as Part of the Joint European Conferenceson Theory and Practice of Software, ETAPS 2000, Proceedings (pp. 371-374). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1783). Springer-Verlag.