JOSÉ ALBERTO
VERDEJO LÓPEZ
Profesor titular de universidad
Christiano
de Oliveira Braga
Publicaciones en las que colabora con Christiano de Oliveira Braga (1)
2007
-
Modular Structural Operational Semantics with Strategies
Electronic Notes in Theoretical Computer Science, Vol. 175, Núm. 1, pp. 3-17