Formal methods in system design : an international journal
| Library: | Biblioteche UniTrento |
| BUP. Biblioteca Universitaria Povo | |
| via Sommarive 5, Povo di Trento |
| Year | Volume | Number | Holdings | |||
|---|---|---|---|---|---|---|
| 2007 | 31 | 1 -3 | Yes | |||
| 2007 | 30 | 1 -3 | Yes | |||
| 2006 | 29 | 1 -3 | Yes | |||
| 2006 | 28 | 1 -3 | Yes | |||
| 2005 | 27 | 1 -3 | Yes | |||
| 2005 | 26 | 1 -3 | Yes | |||
| 2004 | 25 | 1 -3 | Yes | |||
| 2004 | 24 | 1 -3 | Yes | |||
| 2003 | 23 | 1 -3 | Yes | |||
| 2003 | 22 | 1 -3 | Yes | |||
| 2002 | 21 | 1 -3 | Yes | |||
| 2002 | 20 | 1 -3 | Yes | |||
| 2001 | 19 | 1 -3 | Yes | |||
| 2001 | 18 | 1 -3 | Yes | |||
| 2000 | 17 | 1 -3 | Yes | |||
| 2000 | 16 | 1 -3 | Yes | |||
| 1999 | 15 | 1 -3 | Yes | |||
| 1999 | 14 | 1 -3 | Yes | |||
| 1998 | 13 | 1 -3 | Yes | |||
| 1998 | 12 | 1 -3 | Yes |