CNR Institutional Research Information System

This special issue was promoted by the Working Group on Formal Methods for Industrial Critical Systems of the European Research Consortium on Informatics and Mathematics (ERCIM - http://www-ercim.inria.fr/).

Guest Editorial: Foreword

Gnesi S;Latella D
2000

Abstract

This special issue was promoted by the Working Group on Formal Methods for Industrial Critical Systems of the European Research Consortium on Informatics and Mathematics (ERCIM - http://www-ercim.inria.fr/).
2000
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Computer programming
Formal methods
Software/program verification
05.12 Altro
File in questo prodotto:
File Dimensione Formato  
prod_407299-doc_142694.pdf

solo utenti autorizzati

Descrizione: Guest Editorial: Foreword
Dimensione 44.86 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
44.86 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/388968
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact