CLARA MARÍA
SEGURA DÍAZ
Profesora titular de universidad
FERNANDO
ROSA VELARDO
Profesor titular de universidad
FERNANDO ROSA VELARDO-rekin lankidetzan egindako argitalpenak (2)
2006
-
Typed mobile ambients in Maude
Electronic Notes in Theoretical Computer Science
2005
-
Tagged systems: A framework for the specification of history-dependent properties
Electronic Notes in Theoretical Computer Science