@misc{indiciae56f85b323ac4,
  title = {Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things},
  author = {Davide Ancona and Luca Franceschini and Giorgio Delzanno and Maurizio Leotta and Marina Ribaudo and Filippo Ricca},
  year = {2018},
  doi = {10.4204/eptcs.264.4},
  url = {https://arxiv.org/abs/1802.01790},
  note = {Source identifier: 1802.01790}
}