Symbolic Trajectory Evaluation using a Satisfiability Solver
Licentiatavhandling, 2005

10.15

Författare

Jan-Willem Roorda

Chalmers, Data- och informationsteknik, Datavetenskap

Ämneskategorier

Datavetenskap (datalogi)

10.15