Citáce podľa APA (7th ed.)
Maron, Ľ., & Macko, D. (2013). Formálna verifikácia zjemnenej špecifikácie v jazyku HSSL. STU v Bratislave FIIT.
Citácia podle Chicago (17th ed.)
Maron, Ľubomír, a Dominik Macko. Formálna Verifikácia Zjemnenej špecifikácie V Jazyku HSSL. Bratislava: STU v Bratislave FIIT, 2013.
Citácia podľa MLA (8th ed.)
Maron, Ľubomír, a Dominik Macko. Formálna Verifikácia Zjemnenej špecifikácie V Jazyku HSSL. STU v Bratislave FIIT, 2013.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..