Article Comments

Contributions from readers on our articles are very welcome. This form will let us retrieve the current data in the database and allows us to consider your comments.

Verifying while loops with invariant relations
Asma Louhichi; Wided Ghardallou; Khaled Bsaies; Lamia Labed Jilani; Olfa Mraihi; Ali Mili
International Journal of Critical Computer-Based Systems (IJCCBS), 2014 Vol.5 No.1/2, pp.78 - 102
16 + 6 =

Thank you for your feedback.

Return to top