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

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)

DOI

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

ISBN

978-3-540-75938-6