Rewriting logic semantics: From language specifications to formal analysis tools. (2004)

by J Meseguer, G Rosu
Venue:In Proc. Intl. Joint Conf. on Automated Reasoning IJCAR’04,