CNR Institutional Research Information System

An abstract is not available

Special issue on the First International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996 - Selected papers

Gnesi S;Latella D
1998

Abstract

An abstract is not available
1998
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Inglese
123
124
2
https://link.springer.com/article/10.1023/A:1008669025349
cod. PuMa: cnr.iei/1998-B5-004
Formal methods
Software/Program Verification
WOS:000072513700001
2
01 Contributo su Rivista::01.10 Curatela di numero monografico in rivista
Gnesi, S; Latella, D
284
info:eu-repo/semantics/other
reserved
File in questo prodotto:
File Dimensione Formato  
prod_446697-doc_160649.pdf

non disponibili

Descrizione: Special issue on the First International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems
Tipologia: Versione Editoriale (PDF)
Dimensione 48.59 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
48.59 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/426720
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 1
social impact