1
Theoretical Aspects of Computing - ICTAC 2021 [E-Book] : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings /
2
Formal Aspects of Component Software [E-Book] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /
3
Logic, Rewriting, and Concurrency [E-Book] : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
4
Formal Aspects of Component Software [E-Book] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /
5
Rewriting Logic and Its Applications [E-Book] : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers /