DMCA

Executable Structural Operational Semantics in Maude (2003)

Cached

Download Links

by Alberto Verdejo , Narciso Martí-oliet
Citations:24 - 7 self