Provides classes for parsing and printing Object-Z specifications (written in Object-Z extension of the Z specification language).

Back to top

Version: 1.6-SNAPSHOT. Last Published: 2016-04-09.

Reflow Maven skin by Andrius Velykis.