Research Article

AnnaBot: A Static Verifier for Java Annotation Usage

Figure 7

JPA Claim written in Java.
540547.fig.007