DMCA

The rewriting logic semantics project: a progress report (2011)

Cached

Download Links

by José Meseguer , Grigore Rosu
Venue:IN: OWE O, STEFFEN M, TELLE J (EDS) FUNDAMENTALS OF COMPUTATION THEORY, VOLUME 6914 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:6 - 0 self