Citação norma APA
Maron, Ľ., & Macko, D. (2013). Formálna verifikácia zjemnenej špecifikácie v jazyku HSSL. STU v Bratislave FIIT.
Citação norma Chicago
Maron, Ľubomír, and Dominik Macko. Formálna Verifikácia Zjemnenej špecifikácie V Jazyku HSSL. Bratislava: STU v Bratislave FIIT, 2013.
Citação norma MLA
Maron, Ľubomír, and Dominik Macko. Formálna Verifikácia Zjemnenej špecifikácie V Jazyku HSSL. STU v Bratislave FIIT, 2013.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.