Author: Shaoying Liu

Liu, Shaoying (1997): SOFL: A Formal Engineering Methodology for Industrial Applications. In: 3rd IEEE International Symposium on Requirements Engineering RE97 January 5-8, 1997, Annapolis, MD, USA. pp. 41. https://csdl.computer.org/comp/proceedings/re/1997/7740/00/7740041babs.htm