Manuel Clavel;Fransisco Durán;Steven Eker;Patrick Lincoln;Narciso Martí-Oliet;José Meseguer;Jose F. Quesada
Affiliations:
-;-;-;-;-;-;-
Venue:
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000