"Rewriting Logic and Its Applications - 12th International Workshop, WRLA ..."

Vlad Rusu (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics