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 2012 · ENGLISH · PDF View details →
Mathematical and Engineering Methods in Computer Science: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers 2012 · ENGLISH · PDF View details →
Mathematical and Engineering Methods in Computer Science: 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers 2012 · ENGLISH · PDF View details →