Preface to the Special Section Issue on Improving Software Quality through Formal Methods - Archive ouverte HAL Access content directly
Journal Articles Software Quality Journal Year : 2020

Preface to the Special Section Issue on Improving Software Quality through Formal Methods

(1, 2, 3) , (4)
1
2
3
4

Abstract

This special issue is dedicated to the presentation of novel results in the scope of formal methods for the verification and testing of software. The papers included in the special issue showcase approaches that successfully combine a rigorous and formal background with the capability to address real software applications in realistic settings.
Fichier principal
Vignette du fichier
sqj-editorial-author.pdf (79.95 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02548907 , version 1 (21-04-2020)

Identifiers

Cite

Yliès Falcone, Leonardo Mariani. Preface to the Special Section Issue on Improving Software Quality through Formal Methods. Software Quality Journal, 2020, pp.1-2. ⟨10.1007/s11219-020-09508-z⟩. ⟨hal-02548907⟩
68 View
93 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More