José Meseguer: Scientist and Friend Extraordinaire
Martí-Oliet, Narciso ; Ölveczky, Peter Csaba ; Talcott, Carolyn Talcott, Carolyn ; Ölveczky, Peter Csaba ; Martí-Oliet, Narciso ; Martí-Oliet, Narciso ; Talcott, Carolyn ; Ölveczky, Peter Csaba
Logic, Rewriting, and Concurrency, 2015, Vol.9200, p.1-47 [Periódico revisado por pares]Switzerland: Springer International Publishing AG
Texto completo disponível