Verification by Parallelization of Parametric Code
Book chapter, 2007
Author
Tobias Gedell
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Reiner Hähnle
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
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)
Subject Categories
Software Engineering
Computer Science
DOI
10.1007/978-3-540-75939-3_10
ISBN
978-3-540-75938-6