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.
@article{LeuschelPRU04,
title = {Introduction to the Special Issue on Verification and Computational Logic},
author = {Michael Leuschel and Andreas Podelski and C. R. Ramakrishnan and Ulrich Ultes-Nitsche},
year = {2004},
tags = {C++, logic},
researchr = {https://researchr.org/publication/LeuschelPRU04},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {4},
number = {5-6},
pages = {543-544},
}