Now showing items 1-1 of 1

    • Automated procedure for static limit analysis 

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