Vlad Rusu

Rewriting Logic and Its Applications - Springer Springer 2018

9783319998404

EBOOK