Authors: MOULDING M SMITH L

Citation: M. Moulding et L. Smith, COMBINING FORMAL SPECIFICATION AND CORE - AN EXPERIMENTAL INVESTIGATION, Software engineering journal, 10(2), 1995, pp. 31-42