Rewriting Logic and Its Applications 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers Escobar Santiago Heftet / 2020 / Engelsk
Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings Braga Christiano Heftet / 2015 / Engelsk
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers Martí-Oliet, Narciso Heftet / 2013 / Engelsk
Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers Ogata Kazuhiro Heftet / 2024 / Engelsk
Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday Martí-Oliet, Narciso Heftet / 2015 / Engelsk
All About Maude - A High-Performance Logical Framework How to Specify, Program, and Verify Systems in Rewriting Logic Clavel Manuel Kombinasjonsprodukt / 2007 / Engelsk
