TY  - RPRT
TI  - Effect of formal specifications on program complexity and reliability: An experimental study
AU  - Goel, Amrit L.
AU  - Sahoo, Swarupa N.
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19920010192
ID  - 19920010192
ER  -