Developing formal specifications from informal requirements

MLA

Johnson, W.Lewis, et al. “Developing Formal Specifications from Informal Requirements.” IEEE Expert, vol. v8, no. n4, Aug. 1993, p. 82. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsggo&AN=edsgcl.14390452&authtype=sso&custid=ns315887.

APA

Johnson, W. L., Benner, K. M., & Harris, D. R. (1993). Developing formal specifications from informal requirements. IEEE Expert, v8(n4), 82.

Chicago

Johnson, W. Lewis, Kevin M. Benner, and David R. Harris. 1993. “Developing Formal Specifications from Informal Requirements.” IEEE Expert v8 (n4): 82. http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsggo&AN=edsgcl.14390452&authtype=sso&custid=ns315887.