Formal methods in system design : an international journal

Library: Biblioteche UniTrento, BUP. Biblioteca Universitaria Povo, via Sommarive 5, Povo di Trento

Paper (and/or DVD, CD-ROM, microfilm ecc.)

Available from 1998 to 2007
ISSN: 0925-9856

Online

Article full text from 1992
ISSN: 1572-8102

New search