Porovnanie rôznych prístupov v implementácii metód kontroly toku programu na ich vlastnosti - Blanárik, Matej (2020)