Symbolic Trajectory Evaluation using a Satisfiability Solver
Licentiatavhandling, 2005
10.15
Författare
Jan-Willem Roorda
Chalmers, Data- och informationsteknik, Datavetenskap
Ämneskategorier (SSIF 2011)
Datavetenskap (datalogi)
10.15