Logic, Rewriting, and Concurrency
Festschrift Symposium in Honor of José Meseguer

Urbana, Illinois, USA, September 23-25, 2015


Password required

Password: