Shaoying Liu. SOFL: A Formal Engineering Methodology for Industrial Applications. In 3rd IEEE International Symposium on Requirements Engineering (RE 97), January 5-8, 1997, Annapolis, MD, USA. pages 41, IEEE Computer Society, 1997. [doi]
Abstract is missing.