JOSÉ ALBERTO
VERDEJO LÓPEZ
Profesor titular de universidad
FERNANDO
ROSA VELARDO
Profesor titular de universidad
Publications dans lesquelles il/elle collabore avec FERNANDO ROSA VELARDO (1)
2006
-
Typed mobile ambients in Maude
Electronic Notes in Theoretical Computer Science