Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
Peter Csaba Ölveczky
Details
OL Work ID
OL27343651W
Find this book
Open Library