Anquiro: enabling efficient static verification of sensor network software.

Luca Mottola, Thiemo Voigt, Fredrik sterlind, Joakim Eriksson, Luciano Baresi, Carlo Ghezzi

Browse the full ICSE paper archive.