Computing Preconditions and Postconditions of While Loops.

Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaes, Ali Mili

Browse the full ICTAC paper archive.