A Faithful Semantics for Generalised Symbolic Trajectory Evaluation
Preprint, 2006
Författare
Jan-Willem Roorda
Chalmers, Data- och informationsteknik, Datavetenskap
Koen Lindström Claessen
Chalmers, Data- och informationsteknik, Datavetenskap
Ämneskategorier
Datavetenskap (datalogi)