Program Correctness: On Inductive Assertion Methods.

MLA

King, James C. “Program Correctness: On Inductive Assertion Methods.” IEEE Transactions on Software Engineering, vol. 6, no. 5, Sept. 1980, pp. 465–79. 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=edb&AN=14379716&authtype=sso&custid=ns315887.

APA

King, J. C. (1980). Program Correctness: On Inductive Assertion Methods. IEEE Transactions on Software Engineering, 6(5), 465–479.

Chicago

King, James C. 1980. “Program Correctness: On Inductive Assertion Methods.” IEEE Transactions on Software Engineering 6 (5): 465–79. 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=edb&AN=14379716&authtype=sso&custid=ns315887.