@inproceedings{syme1999declarative,
author = {Syme, Don},
title = {Declarative Theorem Proving for Operational Semantics},
year = {1999},
month = {April},
abstract = {This dissertation is concerned with techniques for formally checking properties of systems that are described by operational semantics. We describe innovations and tools for tackling this problem, and a large case study in the application of these tools.},
url = {http://approjects.co.za/?big=en-us/research/publication/declarative-theorem-proving-for-operational-semantics/},
}