Authors: DAUPHIN M FONADE G REED R

Citation: M. Dauphin et al., SPECS - MAKING FORMAL TECHNIQUES USABLE, IEEE software, 10(6), 1993, pp. 55-57