Citazione Stile APA (7a Edizione)
Tkáč, S., & Macko, D. (2014). Kontrola ekvivalencie hardvérových návrhov pomocou matematickej logiky. STU v Bratislave FIIT.
Citazione stile Chigago Style (17a edizione)
Tkáč, Samuel, e Dominik Macko. Kontrola Ekvivalencie Hardvérových Návrhov Pomocou Matematickej Logiky. Bratislava: STU v Bratislave FIIT, 2014.
Citatione MLA (9a ed.)
Tkáč, Samuel, e Dominik Macko. Kontrola Ekvivalencie Hardvérových Návrhov Pomocou Matematickej Logiky. STU v Bratislave FIIT, 2014.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.