haku: @keyword computer aided verification / yhteensä: 4
viitteet: 1-4 / 4
« edellinen sivu | seuraava sivu »
otsikko | vuosi | tekijä | ||
1. | 2005 | Keinänen, Misa |
||
2. | 2002 | Latvala, Timo |
||
3. | 2000 | Latvala, Timo |
||
4. | 1999 | Heljanko, Keijo |
« edellinen sivu | seuraava sivu »
INSSI