Citação norma APA
Tkáč, S., & Macko, D. (2014). Kontrola ekvivalencie hardvérových návrhov pomocou matematickej logiky. STU v Bratislave FIIT.
Citação norma Chicago
Tkáč, Samuel, and Dominik Macko. Kontrola Ekvivalencie Hardvérových Návrhov Pomocou Matematickej Logiky. Bratislava: STU v Bratislave FIIT, 2014.
Citação norma MLA
Tkáč, Samuel, and Dominik Macko. Kontrola Ekvivalencie Hardvérových Návrhov Pomocou Matematickej Logiky. STU v Bratislave FIIT, 2014.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.