Authors: WIERINGA R DUBOIS E

Citation: R. Wieringa et E. Dubois, INTEGRATING SEMIFORMAL AND FORMAL SOFTWARE SPECIFICATION TECHNIQUES, Information systems (Oxford), 23(3-4), 1998, pp. 159-178