Davide Basile 0001, Maurice H. ter Beek, Giovanna Broccia, Alessio Ferrari 0001. Empirical Software Engineering and Formal Methods for IoT Systems. ERCIM News, 2022(131), 2022. [doi]
@article{0001BB022,
title = {Empirical Software Engineering and Formal Methods for IoT Systems},
author = {Davide Basile 0001 and Maurice H. ter Beek and Giovanna Broccia and Alessio Ferrari 0001},
year = {2022},
url = {https://ercim-news.ercim.eu/en131/r-i/empirical-software-engineering-and-formal-methods-for-iot-systems},
researchr = {https://researchr.org/publication/0001BB022},
cites = {0},
citedby = {0},
journal = {ERCIM News},
volume = {2022},
number = {131},
}