Rewriting Logic as a Framework for Generic Verification Tools

TitleRewriting Logic as a Framework for Generic Verification Tools
Publication TypeConference Paper
Year of Publication2000
AuthorsLeucker, M, Noll, T
Conference NameProceedings of the Third International Workshop on Rewriting Logic and its Applications (WRLA'00)
SeriesElectronic Notes in Theoretical Computer Science
Volume36
PublisherElsevier
URLhttp://www.elsevier.nl/gej-ng/31/29/23/71/22/show/Products/notes/index.htt
Bibtex: 
@inproceedings {LeuckerNoll00,
	title = {Rewriting Logic as a Framework for Generic Verification Tools},
	booktitle = {Proceedings of the Third International Workshop on Rewriting Logic and its Applications (WRLA{\textquoteright}00)},
	series = {Electronic Notes in Theoretical Computer Science},
	volume = {36},
	year = {2000},
	publisher = {Elsevier},
	organization = {Elsevier},
	url = {http://www.elsevier.nl/gej-ng/31/29/23/71/22/show/Products/notes/index.htt},
	author = {Martin Leucker and Thomas Noll}
}