Prikaz rezultata 1 – 1 od 1 za pretragu 'Youn, Paul, 1981-', vrijeme upita: 0,02s Detaljiziraj rezultate
  1. 1
    The analysis of cryptographic APIs using the theorem prover Otter

    The analysis of cryptographic APIs using the theorem prover Otter od Youn, Paul, 1981-

    Izdano 2005
    Preuzmi cijeli tekst
    Disertacija

Alati za pretragu: