@article{falcone:hal-02548907, TITLE = {{Preface to the Special Section Issue on Improving Software Quality through Formal Methods}}, AUTHOR = {Falcone, Yli{\`e}s and Mariani, Leonardo}, URL = {https://inria.hal.science/hal-02548907}, JOURNAL = {{Software Quality Journal}}, PUBLISHER = {{Springer Verlag}}, PAGES = {1-2}, YEAR = {2020}, MONTH = Feb, DOI = {10.1007/s11219-020-09508-z}, PDF = {https://inria.hal.science/hal-02548907/file/sqj-editorial-author.pdf}, HAL_ID = {hal-02548907}, HAL_VERSION = {v1}, }