DMCA

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:54 - 12 self