SPECIAL ISSUES ARCHIVE OF 2014
 
20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
Editors: Erika Abraham, Klaus Havelund

 
Special Issue for the Conferences on Computer Science Logic and Logic in Computer Sciences (CSL-LICS) 2014
Editors: Thomas A Henzinger, Dale Miller