![](/img/cover-not-exists.png)
Verifying while loops with invariant relations
Louhichi, Asma, Ghardallou, Wided, Bsaies, Khaled, Jilani, Lamia Labed, Mraihi, Olfa, Mili, AliVolume:
5
Year:
2014
Language:
english
Journal:
International Journal of Critical Computer-Based Systems
DOI:
10.1504/IJCCBS.2014.059596
File:
PDF, 377 KB
english, 2014