Prikaz rezultata 1 – 1 od 1 za pretragu 'Coen-Porisini, Alberto', vrijeme upita: 0,01s Detaljiziraj rezultate
  1. 1

    Using symbolic execution for verifying safety-critical systems. od Coen-Porisini, Alberto

    Članak

    Using symbolic execution for verifying safety-critical systems.

Alati za pretragu: