Alain Giorgetti, Julien Groslambert. JAG: JML Annotation Generation for Verifying Temporal Properties.
9th International Conference on Fundamental Approaches to Software Engineering - FASE'2006, Mar 2006, Vienna/Austria, pp.373--376,
⟨10.1007/11693017⟩.
⟨inria-00114316⟩