TY  - RPRT
TI  - Towards the Safe Programming of Wireless Sensor Networks
AU  - Francisco Martins
AU  - Luís Lopes
AU  - João Barros
PY  - 2010
DO  - 10.4204/eptcs.17.5
UR  - https://arxiv.org/abs/1002.0937
ID  - 1002.0937
ER  -