S Qin,
G He - 12th IEEE International Conference on …, 2007 - ieeexplore.ieee.org
Formal specifications have been a focus of software engineering research for many years
and have been applied in a wide variety of settings. Their use in software engineering not …