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

Ämneskategorier

Datavetenskap (datalogi)

ISBN

3-540-34166-8

Mer information

Skapat

2017-10-06