PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Margaria T., Massink M. Foreword - FMICS'05 Tenth International Workshop on Formal Methods for Industrial Critical Systems. In: International Workshop on Formal Methods for Industrial Critical Systems, 2005. Editorial, pp. iii - iii. Tiziana Margaria and Mieke Massink (eds.). ACM, 2005.
 
 
Abstract
(English)
Foreword of the proceedings of the tenth edition of the International Workshop on Formal Methods for Industrial Critical Systems, Lisbon, 2005
Subject Formal Methods
D.2.4 Software/Program Verification
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)


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