Executable Structural Operational Semantics in Maude (2003)

Cached

Download Links

by Alberto Verdejo , Narciso Martí-oliet
Citations:13 - 5 self