![](https://media.springernature.com/w90/springer-static/cover/journal/10703/52/3.jpg?as=webp)
Volume 52, Issue 3
June 2018Special issue on Program Equivalence
- Issue Editor:
-
- Ofer Strichman
4 articles in this issue
Special issue on Program Equivalence