SPECIAL ISSUES ARCHIVE OF 2005
 
Selected Papers of the 2005 IEEE Symposium on Logic in Computer Science
Editor: Prakash Panangaden

 
Selected Papers of the Conference ''Computer Aided Verification 2005''
Editors: Kousha Etessami, Sriram K. Rajamani