Rachid Oucheikh, Ismail Berrada, Outman El Hichami. The 4-Octahedron Abstract Domain. In Parosh Aziz Abdulla, Carole Delporte-Gallet, editors, Networked Systems - 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers. Volume 9944 of Lecture Notes in Computer Science, pages 311-317, Springer, 2016. [doi]
Abstract is missing.