DMCA
High-level Programming and Symbolic Reasoning on IoT Resource Constrained Devices
by
Salvatore Gaglio
,
Gloria Martorella
,
Daniele Peri
Citations: | 2 - 2 self |