Verification by Parallelization of Parametric Code
Kapitel i bok, 2007
Författare
Tobias Gedell
Chalmers, Data- och informationsteknik, Datavetenskap
Reiner Hähnle
Chalmers, Data- och informationsteknik, Datavetenskap
Algebraic and Proof-theoretic Aspects of Non-classical Logics: Essays in honour of Professor Daniele Mundici on occasion of his 60th birthday
138-159
978-3-540-75938-6 (ISBN)
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)
DOI
10.1007/978-3-540-75939-3_10
ISBN
978-3-540-75938-6