Résultats de la recherche - "Mechanical verification."

  • Résultat(s) 1 - 2 résultats de 2
Affiner les résultats
  1. 1

    Relational analysis of algebraic datatypes. par Kuncak, Viktor

    Article


    Image de couverture de livre
  2. 2

    Interface automata. par De Alfaro, Luca

    Article


    Image de couverture de livre

Outils de recherche: