Inproceedings,

Strong Equivalence of RASP Programs.

, , and .
Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 149-163. Springer, (2012)

Meta data

Tags

Users

  • @dblp

Comments and Reviews