Research Article

AnnaBot: A Static Verifier for Java Annotation Usage

Figure 5

PrePostVerify interface.
540547.fig.005