ISO-690 (author-date, English)

HENRIQUE REBÊLO, RICARDO LIMA, GARY T. LEAVENS, MÁRCIO CORNÉLIO, RE MOTA, CÉSAR OLIVEIRA und THE PENNSYLVANIA STATE UNIVERSITY CITESEERX ARCHIVES, 2010. Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study. http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-10-01/TR.pdf. 1 Januar 2010.

Elsevier - Harvard (with titles)

Henrique Rebêlo, Ricardo Lima, Gary T. Leavens, Márcio Cornélio, Re Mota, César Oliveira, The Pennsylvania State University Cite Seer X Archives, 2010. Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study. http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-10-01/TR.pdf.

American Psychological Association 7th edition

Henrique Rebêlo, Ricardo Lima, Gary T. Leavens, Márcio Cornélio, Re Mota, César Oliveira, & The Pennsylvania State University Cite Seer X Archives. (2010). Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study. http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-10-01/TR.Pdf.

Springer - Basic (author-date)

Henrique Rebêlo, Ricardo Lima, Gary T. Leavens, Márcio Cornélio, Re Mota, César Oliveira, The Pennsylvania State University Cite Seer X Archives (2010) Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study. http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-10-01/TR.pdf

Juristische Zitierweise (Stüber) (Deutsch)

Henrique Rebêlo/ Ricardo Lima/ Gary T. Leavens/ Márcio Cornélio/ Re Mota/ César Oliveira/ The Pennsylvania State University Cite Seer X Archives, Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study, http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-10-01/TR.pdf 2010.

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