Bonjour.

Je dois me pencher sur le langage de spécification JML (Java Modeling language), et j'aimerais savoir si quelqu'un a des intros à me conseiller (plus c'est théorique, mieux c'est), voir mieux, un bon bouquin.

Merci d'avance :-)