CADiZ

Reference manual / Z-related commands / Refinement commands


These commands support refinement from a Carroll Morgan-style specification statement to a program in Dijkstra-style guarded command language.


IT 20-Oct-2000