Early Prototyping of Wireless Sensor Network Algorithms in PVS.

Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer

Browse the full SAFECOMP paper archive.