"Incremental processing of Z specifications."

Alexandre Marcos Lins de Vasconcelos, John Alexander McDermid (1992)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2021-08-06