• Automated procedure for static limit analysis 

      Autor: Mendonça Luis Tiago Miguel; Vedoucí práce: Roca Pere; Oponent práce: Molins Climent
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-12-02)