Automating Verification of Loops by Parallelization
Paper in proceedings, 2006

Author

Reiner Hähnle

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

13th International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Vol. 4246 332-346

Subject Categories

Computer Science

More information

Created

10/7/2017