]>AnnaBot: A Static Verifier for Java Annotation Usage : Figure 8
540547.fig.008
Figure 8: EBNF for DSL.