Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools (2004)

Cached

Download Links

by José Meseguer
Venue:In Proceedings of the IJCAR 2004. LNCS
Citations:38 - 9 self