Introduction to the Special Issue on Verification and Computational Logic

Michael Leuschel, Andreas Podelski, C. R. Ramakrishnan, Ulrich Ultes-Nitsche. Introduction to the Special Issue on Verification and Computational Logic. TPLP, 4(5-6):543-544, 2004.

Abstract

Abstract is missing.