Chapter
The future of industrial formal methods
Authors
Hall A; Parnas D; Plat N; Rushby J; Sennett C
Book title
ZUM '95: The Z Formal Specification Notation
Series
Lecture Notes in Computer Science
Volume
967
Pagination
pp. 236-242
Publisher
Springer Nature
Publication Date
1995
DOI
10.1007/3-540-60271-2_123