A versatile concept for the analysis of loops
| Autor: | Ghardallou, Wided, Mraihi, Olfa, Louhichi, Asma, Jilani, Lamia Labed, Bsaies, Khaled, Mili, Ali |
|---|---|
| Zdroj: | In Journal of Logic and Algebraic Programming July 2012 81(5):606-622 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect