Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics.

Jan-Willem Roorda, Koen Claessen

Browse the full CSR paper archive.