Falcone, Y., & Mariani, L. (2020). Preface to the special section on improving software quality through formal methods. SOFTWARE QUALITY JOURNAL, 28(2), 693-694 [10.1007/s11219-020-09508-z].
Citazione: | Falcone, Y., & Mariani, L. (2020). Preface to the special section on improving software quality through formal methods. SOFTWARE QUALITY JOURNAL, 28(2), 693-694 [10.1007/s11219-020-09508-z]. | |
Tipo: | Articolo in rivista - Contributo a Forum/Dibattito, Introduzione | |
Carattere della pubblicazione: | Scientifica | |
Presenza di un coautore afferente ad Istituzioni straniere: | Si | |
Titolo: | Preface to the special section on improving software quality through formal methods | |
Autori: | Falcone, Y; Mariani, L | |
Autori: | ||
Data di pubblicazione: | 2020 | |
Lingua: | English | |
Rivista: | SOFTWARE QUALITY JOURNAL | |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/s11219-020-09508-z | |
Appare nelle tipologie: | 01 - Articolo su rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.