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