Rewriting logic and its applications. 9th international workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24--25, 2012. Revised selected papers

From MaRDI portal
Publication:456741