Introduction to the special issue on Verification and Computational Logic

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

Original language	English
Pages (from-to)	543-544
Number of pages	2
Journal	Theory and Practice of Logic Programming
Volume	4
Issue number	5-6
DOIs	https://doi.org/10.1017/S1471068404002078
State	Published - 2004

Access to Document

@article{da0acc612e24486986a2a9495781d675,

title = "Introduction to the special issue on Verification and Computational Logic",

author = "Michael Leuschel and Andreas Podelski and Ramakrishnan, \{C. R.\} and Ulrich Ultes-Nitsche",

year = "2004",

doi = "10.1017/S1471068404002078",

language = "English",

volume = "4",

pages = "543--544",

journal = "Theory and Practice of Logic Programming",

issn = "1471-0684",

number = "5-6",

}

TY - JOUR

T1 - Introduction to the special issue on Verification and Computational Logic

AU - Leuschel, Michael

AU - Podelski, Andreas

AU - Ramakrishnan, C. R.

AU - Ultes-Nitsche, Ulrich

PY - 2004

Y1 - 2004

UR - https://www.scopus.com/pages/publications/85008530160

U2 - 10.1017/S1471068404002078

DO - 10.1017/S1471068404002078

M3 - Article

AN - SCOPUS:85008530160

SN - 1471-0684

VL - 4

SP - 543

EP - 544

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

IS - 5-6

ER -