@dblp

Executable Formal Models in Rewriting Logic (Invited Talk).

. RTA, volume 36 of LIPIcs, page 22-22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)

Links and resources

Tags