Symbolic Parallelization of Nested Loop Programs - Tanase, Alexandru-Petru; Tanase, Alexandru-Petru; Hannig, Frank; Teich, Jürgen (Springer International Publishing : Imprint: Springer, 2018)