Chapter
Language-free mathematical methods for software design extended abstract
Authors
Parnas DL
Book title
ZUM '95: The Z Formal Specification Notation
Series
Lecture Notes in Computer Science
Volume
967
Pagination
pp. 2-4
Publisher
Springer Nature
Publication Date
1995
DOI
10.1007/3-540-60271-2_109