1. Verifying while loops with invariant relations. (1st January 2014) Authors: Louhichi, Asma; Ghardallou, Wided; Bsaies, Khaled; Jilani, Lamia Labed; Mraihi, Olfa; Mili, Ali Journal: International journal of critical computer-based systems Issue: Volume 5:Number 1/2(2014) Page Start: 78 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗