a formal definition of jml in coq (en Inglés)

lehner, hermann · s dwestdeutscher verlag f r hochschulschrifte