"Rigorous specification using structured systems analysis and Z."

Keith Mander, Fiona A. C. Polack (1995)

Details and statistics

DOI: 10.1016/0950-5849(95)99364-S

access: closed

type: Journal Article

metadata version: 2022-08-16

a service of  Schloss Dagstuhl - Leibniz Center for Informatics