![](https://media.springernature.com/w90/springer-static/cover/journal/10207/4/1.jpg?as=webp)
Volume 4, Issue 1-2
February 2005Special issue on FCS/Verify 2002
- Issue Editors:
-
- S. Autexier,
- I. Cervesato,
- H. Mantel
9 articles in this issue
Special issue on FCS/Verify 2002