search query: @keyword formal methods / total: 9
references: 2-9 / 9
« previous page | next page »
| title | year | author | ||
| 2. | 2004 | Niemi, Jari |
||
| 3. | 2000 | Heiskanen, Lauri |
||
| 4. | 1999 | Luukkala, Vesa |
||
| 5. | 1999 | Huima, Antti |
||
| 6. | 1998 | Mäkelä, Marko |
||
| 7. | 1998 | Manner, Tapio |
||
| 8. | 1997 | Malmqvist, Markus |
||
| 9. | 1994 | Rautila, Mika |
« previous page | next page »
INSSI