CADiZ

Reference manual / Z-related commands / Compliance commands / refinement conjecture


The refinement conjecture command is a basis for an ongoing student project. Don't bother trying to use it.


IT 10-Oct-1997