ISO-690 (author-date, English)

VISSER, Willem, HAVELUND, Klaus, BRAT, Guillaume, PARK, Seung Joon und LERDA, Flavio, 2003. Model Checking Programs. Automated Software Engineering. 1 April 2003. Vol. 10, no. 2, p. 203-232. DOI 10.1023/A:1022920129859.

Elsevier - Harvard (with titles)

Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F., 2003. Model Checking Programs. Automated Software Engineering 10, 203-232. https://doi.org/10.1023/A:1022920129859

American Psychological Association 7th edition

Visser, W., Havelund, K., Brat, G., Park, S., & Lerda, F. (2003). Model Checking Programs. Automated Software Engineering, 10(2), 203-232. https://doi.org/10.1023/A:1022920129859

Springer - Basic (author-date)

Visser W, Havelund K, Brat G, Park S, Lerda F (2003) Model Checking Programs.. Automated Software Engineering 10:203-232. https://doi.org/10.1023/A:1022920129859

Juristische Zitierweise (Stüber) (Deutsch)

Visser, Willem/ Havelund, Klaus/ Brat, Guillaume/ Park, Seung Joon/ Lerda, Flavio, Model Checking Programs., Automated Software Engineering 2003, 203-232.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.