JACOBS, Bart, LEAVENS, Gary T., MÜLLER, Peter und POETZSCH-HEFFTER, Arnd (Hrsg.). Hagen: Fern Universität in Hagen.
Elsevier - Harvard (with titles)Jacobs, B., Leavens, G.T., Müller, P., Poetzsch-Heffter, A. (Hrsg.), 1999. Formal Techniques for Java Programs, Informatik-Berichte. Fern Universität in Hagen, Hagen. https://doi.org/urn:nbn:de:hbz:708-dh5825
American Psychological Association 7th editionFormal Techniques for Java Programs. (ca. 1999). [Cd]. In B. Jacobs, G. T. Leavens, P. Müller, & A. Poetzsch-Heffter (Hrsg.), Informatik-Berichte. Fern Universität in Hagen. https://doi.org/urn:nbn:de:hbz:708-dh5825
Springer - Basic (author-date)Jacobs B, Leavens GT, Müller P, Poetzsch-Heffter A (Hrsg.) (1999) Formal Techniques for Java Programs. Fern Universität in Hagen, Hagen
Juristische Zitierweise (Stüber) (Deutsch)Jacobs, Bart/ Leavens, Gary T./ Müller, Peter/ Poetzsch-Heffter, Arnd (Hrsg.), Formal Techniques for Java Programs, Hagen 1999.