Martin Leucker, Thomas Noll
Rewriting Logic as a Framework for Generic Verification Tools
WRLA, 2000.
@article{WRLA-2000-LeuckerN,
author = "Martin Leucker and Thomas Noll",
doi = "10.1016/S1571-0661(05)80123-9",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "121--137",
title = "{Rewriting Logic as a Framework for Generic Verification Tools}",
volume = 36,
year = 2000,
}