Incremental processing of Z specifications.

Alexandre Marcos Lins de Vasconcelos, John Alexander McDermid

Browse the full FORTE paper archive.