![](/img/cover-not-exists.png)
Invariant assertions, invariant relations, and invariant functions
Mraihi, Olfa, Louhichi, Asma, Jilani, Lamia Labed, Desharnais, Jules, Mili, AliVolume:
78
Language:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2012.05.006
Date:
September, 2013
File:
PDF, 460 KB
english, 2013