TY - RPRT TI - Advanced software development workstation: Effectiveness of constraint-checking AU - Izygon, Michel PY - 1992 UR - https://ntrs.nasa.gov/citations/19920023621 ID - 19920023621 ER -