Tom Staijen. Graph-based Specification and Verification for Aspect-Oriented Languages. PhD thesis, University of Twente, Enschede, Netherlands, 2010. [doi]
@phdthesis{basesearch-2556,
title = {Graph-based Specification and Verification for Aspect-Oriented Languages},
author = {Tom Staijen},
year = {2010},
url = {https://www.base-search.net/Record/a174781acd7cb0305c0c6f783c5bd8bfbb48e418f5e955925693769e2d1508d2},
note = {base-search.net (ftunivtweneemcs:oai:ewi.utwente.nl:18988)},
researchr = {https://researchr.org/publication/basesearch-2556},
cites = {0},
citedby = {0},
school = {University of Twente, Enschede, Netherlands},
}