JML Tutorial - Reasoning about recursive functions and data structures

Last Modified:

This lesson illustrates modeling and reasoning about a recursive data structure with a commented example.

TODO