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