Automating Verification of Loops by Parallelization
Paper i proceeding, 2006

Författare

Reiner Hähnle

Chalmers, Data- och informationsteknik, Datavetenskap

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

Vol. 4246 332-346

Ämneskategorier

Datavetenskap (datalogi)