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

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



This page may have a more recent version on pmwiki.org: PmWiki:GroupHeader, and a talk page: PmWiki:GroupHeader-Talk.