Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

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.
Type de document :
Article dans une revue
Liste complète des métadonnées

Littérature citée [3 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-02548907
Contributeur : Yliès Falcone <>
Soumis le : mardi 21 avril 2020 - 09:17:26
Dernière modification le : mardi 24 novembre 2020 - 16:00:17

Fichier

sqj-editorial-author.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

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

Partager

Métriques

Consultations de la notice

73

Téléchargements de fichiers

418