Preface to the Special Section Issue on Improving Software Quality through Formal Methods - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Software Quality Journal Year : 2020

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

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
96 Download

Altmetric

Share

Gmail Facebook X LinkedIn More