CLARA MARÍA SEGURA DÍAZ-rekin lankidetzan egindako argitalpenak (1)

2006

  1. Typed mobile ambients in Maude

    Electronic Notes in Theoretical Computer Science