haku: @keyword abstraction / yhteensä: 3
viitteet: 2-3 / 3
« edellinen sivu | seuraava sivu »
 otsikkovuositekijä
2.
On Model Checking Safety Properties
2002 Latvala, Timo
3.
Tiedon kätkeminen DX 200 -ohjelmistojärjestelmässä
1999 Tilander, Sami
« edellinen sivu | seuraava sivu »
INSSI