• Statická analýza kódu 

      Autor: Nguyen Radek; Vedoucí práce: Mařík Radek; Oponent práce: Hanusová Naděžda
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-02-01)