Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
Francisco Durán
Details
OL Work ID
OL22511335W
Subjects
Machine theory
Find this book
Open Library