Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Latella D. Formal Methods for Industrial Critical Systems. Proceedings of the 4th International ERCIM Workshop Vol.I-II (Trento, Italy, July 11-12, 1999). Edited by S. Gnesi and D. Latella (eds.). Document n. IEI-B5-11, 1999.
No abstract available
Subject Formal methods
D.2.4 Software/Program Verification

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional