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
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
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
