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