Preface: Abstract state machines, alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012 / E. Riccobene, S. Reeves. - In: SCIENCE OF COMPUTER PROGRAMMING. - ISSN 0167-6423. - 94:P2(2014), pp. 67-68. [10.1016/j.scico.2014.06.002]

Preface: Abstract state machines, alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012

E. Riccobene
;
2014

Settore INF/01 - Informatica
Article (author)
File in questo prodotto:
File Dimensione Formato  
1-s2.0-S0167642314002809-main.pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 143.71 kB
Formato Adobe PDF
143.71 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

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