"Executable Formal Models in Rewriting Logic (Invited Talk)."

Carolyn L. Talcott (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics