TY - RPRT TI - Requirements engineering and program synthesis: Mutually exclusive or synergistic? AU - Lowry, M. R. PY - 2001 UR - https://ntrs.nasa.gov/citations/20020004219 ID - 20020004219 ER -