"TAV-CPS/IoT@ISSTA 2020: Proceedings of the 4th ACM SIGSOFT International ..."

Yan Cai, Tingting Yu (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics