Coalgebraic Methods in Computer Science - 12Th Ifip Wg 1.3 International Workshop, Cmcs 2014, Colocated with Etaps 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
AuthID
P-00G-BPC
P-00G-BPC