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.
No references recorded for this publication.
No citations of this publication recorded.