Research Article

AnnaBot: A Static Verifier for Java Annotation Usage

Figure 8

EBNF for DSL.
540547.fig.008