PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Latella D. Special issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems. Formal Methods in System Design. Introduction, vol. 19, n. 2 (2001), 119-120. Kluwer, 2001. Document n. IEI-B5-09, 2001.
 
 
Abstract
(English)
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