Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics.
Artikel i vetenskaplig tidskrift, 2006
Författare
Jan-Willem Roorda
Chalmers, Data- och informationsteknik, Datavetenskap
Koen Lindström Claessen
Chalmers, Data- och informationsteknik, Datavetenskap
Proceedings of the First International Computer Science Symposium in Russia, (CSR 2006) Lecture Notes in Computer Science
Vol. 3967 555-566
3-540-34166-8 (ISBN)
Ämneskategorier
Datavetenskap (datalogi)
ISBN
3-540-34166-8