TY  - RPRT
TI  - A bibliography on formal methods for system specification, design and validation
AU  - Meyer, J. F.
AU  - Furchtgott, D. G.
AU  - Movaghar, A.
PY  - 1982
UR  - https://ntrs.nasa.gov/citations/19820016114
ID  - 19820016114
ER  -