Formal Techniques for Java-Like Programs

MLA

Eisenbach, S., et al. Formal Techniques for Java-Like Programs. Jan. 2004. 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=edsair&AN=edsair.dedup.wf.001..333247f2249334e2c24c463ed7d2a885&authtype=sso&custid=ns315887.

APA

Eisenbach, S., Leavens, G. T., Müller, P., Poetzsch-Heffter, A., Poll, E., Buschmann, F., Buchmann, A. P., & Cilia, M. (2004). Formal Techniques for Java-Like Programs.

Chicago

Eisenbach, S., G.T. Leavens, P. Müller, A. Poetzsch-Heffter, E. Poll, F. Buschmann, A.P. Buchmann, and M. Cilia. 2004. “Formal Techniques for Java-Like Programs,” January. 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=edsair&AN=edsair.dedup.wf.001..333247f2249334e2c24c463ed7d2a885&authtype=sso&custid=ns315887.