Eberhard Karls Universität Tübingen

Mathematisch-Naturwissenschaftliche FakultätProgramming Languages and Software Technology

A Meta Aspect Protocol for Developing Dynamic Analyses

Author's version
rv2010.pdf

by Michael Achenbach and Klaus Ostermann

In Proceedings of the Runtime Verification Conference, 2010.