Filtrování

    2002

    1. Boundaries and Efficiency of Verification
      STREJČEK, Jan. Boundaries and Efficiency of Verification. In Proceedings of summer school MOVEP 2002. Nantes (France): IRCCyN, Ecole Centrale de Nantes, France, 2002, s. 403-408.
      Podrobněji: https://is.muni.cz/publication/405436/cs
Zobrazit podrobně