Research Article

AnnaBot: A Static Verifier for Java Annotation Usage

Figure 3

JPA Claim in AnnaBot DSL.
540547.fig.003