![](https://media.springernature.com/w90/springer-static/cover/journal/11219/21/1.jpg?as=webp)
Volume 21, Issue 1
March 2013Special Section on Tests and Proofs
- Issue Editors:
-
- Gordon Fraser,
- Angelo Gargantini
9 articles in this issue
Special Section on Tests and Proofs