CORSE - Computer Optimization and Run-time SystEms collection |
 |
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.
Littérature citée [3 références]
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
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)