1 results
Automatically inferring loop invariants via algorithmic learning†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 4 / May 2015
- Published online by Cambridge University Press:
- 17 December 2014, pp. 892-915
-
- Article
- Export citation