Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
American Psychological Association 6th edition

Radu Iosif, & The Pennsylvania State University Cite Seer X Archives. (2000). A Formal Approach to Practical Software Verification. http://www.dai-arc.polito.it/dai-arc/manual/tools/yav/phd2000.ps.Gz.

ISO-690 (author-date, English)

RADU IOSIF und THE PENNSYLVANIA STATE UNIVERSITY CITESEERX ARCHIVES, 2000. A Formal Approach to Practical Software Verification. http://www.dai-arc.polito.it/dai-arc/manual/tools/yav/phd2000.ps.gz. 1 Januar 2000.

Modern Language Association 9th edition

Radu Iosif, und The Pennsylvania State University Cite Seer X Archives. „A Formal Approach to Practical Software Verification“. http://www.dai-arc.polito.it/dai-arc/manual/tools/yav/phd2000.ps.Gz, Januar 2000.

Mohr Siebeck - Recht (Deutsch - Österreich)

Radu Iosif/The Pennsylvania State University Cite Seer X Archives: A Formal Approach to Practical Software Verification, http://www.dai-arc.polito.it/dai-arc/manual/tools/yav/phd2000.ps.gz 2000,

Emerald - Harvard

Radu Iosif und The Pennsylvania State University Cite Seer X Archives. (2000), „A Formal Approach to Practical Software Verification“, http://www.dai-arc.polito.it/dai-arc/manual/tools/yav/phd2000.ps.Gz.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.