Rezultati pretrage - "Mechanical verification."

  • Prikaz rezultata 1 – 2 od 2
Detaljiziraj rezultate
  1. 1

    Relational analysis of algebraic datatypes. od Kuncak, Viktor

    Članak


    Slika omota
  2. 2

    Interface automata. od De Alfaro, Luca

    Članak


    Slika omota

Alati za pretragu: