haku: @keyword theorem proving / yhteensä: 2
viitteet: 1-2 / 2
« edellinen sivu | seuraava sivu »
 otsikkovuositekijä
1.
Formal verification in ASIC design
2000 Kapanen, Harri
2.
An Interactive Theorem Prover for Linear Logic
 1993 Patinen, Juha-Pekka
« edellinen sivu | seuraava sivu »
INSSI