search query: @keyword computer aided verification / total: 4
references: 1-4 / 4
« previous page | next page »
title | year | author | ||
1. | 2005 | Keinänen, Misa |
||
2. | 2002 | Latvala, Timo |
||
3. | 2000 | Latvala, Timo |
||
4. | 1999 | Heljanko, Keijo |
« previous page | next page »
INSSI