Martin Leucker, Thomas Noll. Rewriting Logic as a Framework for Generic Verification Tools. Electronic Notes in Theoretical Computer Science, 36:121-137, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.