Volker Stolz, Eric Bodden. Temporal Assertions using AspectJ. Electronic Notes in Theoretical Computer Science, 144(4):109-124, 2006. [doi]
@article{StolzB06, title = {Temporal Assertions using AspectJ}, author = {Volker Stolz and Eric Bodden}, year = {2006}, doi = {10.1016/j.entcs.2006.02.007}, url = {http://dx.doi.org/10.1016/j.entcs.2006.02.007}, tags = {AspectJ}, researchr = {https://researchr.org/publication/StolzB06}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {144}, number = {4}, pages = {109-124}, }