- Jean Goubault-Larrecq, editor, Logical Aspects of Cryptographic Protocol Verification, LACPV 2001, in connection with CAV 2001, Paris, France, July 23, 2001. Volume 55 of Electronic Notes in Theoretical Computer Science, Elsevier, 2003.
- Warren A. Hunt Jr., Fabio Somenzi, editors, Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings. Volume 2725 of Lecture Notes in Computer Science, Springer, 2003.
- Byron Cook, Scott D. Stoller, Willem Visser, editors, 2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado, USA, July 14, 2003. Volume 89 of Electronic Notes in Theoretical Computer Science, Elsevier, 2003.