Shirley Goldrei, Anthony M. Sloane
Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties
LDTA, 2004.
@article{LDTA-2004-GoldreiS,
author = "Shirley Goldrei and Anthony M. Sloane",
doi = "10.1016/j.entcs.2004.06.011",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "33--54",
title = "{Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties}",
volume = 110,
year = 2004,
}