CNR Institutional Research Information System

Editorial - Formal Aspects of Computing

Gnesi S;
2019
2019
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Inglese
WOS:000466749400001
31
131
132
2-s2.0-85064440603
https://link.springer.com/article/10.1007%2Fs00165-019-00481-4
Sì, ma tipo non specificato
Formal methods
1
info:eu-repo/semantics/article
262
Gnesi S.; Cavalcanti A.; Fitzgerald J.; Heitmeyer C.
01 Contributo su Rivista::01.07 Editoriale in rivista
open
File in questo prodotto:
File Dimensione Formato  
prod_422753-doc_150371.pdf

accesso aperto

Descrizione: Editorial
Tipologia: Versione Editoriale (PDF)
Dimensione 121.05 kB
Formato Adobe PDF
Visualizza/Apri
121.05 kB Adobe PDF Visualizza/Apri

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/379897
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact