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

Subject Categories

Software Engineering

Computer Science

DOI

10.1007/978-3-540-75939-3_10

ISBN

978-3-540-75938-6

More information

Created

10/6/2017