Developing Quality Software Systems Using the SOFL Formal Engineering Method.

Shaoying Liu

Browse the full ICFEM paper archive.