TY  - RPRT
TI  - Discrete mathematics, formal methods, the Z schema and the software life cycle
AU  - Bown, Rodney L.
PY  - 1991
UR  - https://ntrs.nasa.gov/citations/19910016321
ID  - 19910016321
ER  -