👤 Hermann Lehner

A Formal Definition of JML in Coq. And its Application to Runtime Assertion Checking. Hermann Lehner