Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL. - Shehla Riaz; Hamra Afzaal; Muhammad Imran 001; Nazir Ahmad Zafar; Mehmet Sabih Aksoy (EUSPN/ICTH, 2015)