search query: @keyword formal methods / total: 9
references: 5-9 / 9
« previous page | next page »
title | year | author | ||
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