Standard
Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification. / Glück, Robert; Leuschel, Michael.
Perspectives of System Informatics. Proceedings. ed. / Dines Bjørner; M. Broy; A. V. Zamulin. Vol. 1755 Springer, 2000. p. 93-100 (Lecture Notes in Computer Science (LNCS)).
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Harvard
Glück, R & Leuschel, M 2000, Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification. in D Bjørner, M Broy & AV Zamulin (eds), Perspectives of System Informatics. Proceedings. vol. 1755, Springer, Lecture Notes in Computer Science (LNCS), pp. 93-100, Perspectives of System Informatics, 29/11/2010.
APA
Glück, R., & Leuschel, M. (2000). Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification. In D. Bjørner, M. Broy, & A. V. Zamulin (Eds.), Perspectives of System Informatics. Proceedings (Vol. 1755, pp. 93-100). Springer. Lecture Notes in Computer Science (LNCS)
Vancouver
Glück R, Leuschel M. Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification. In Bjørner D, Broy M, Zamulin AV, editors, Perspectives of System Informatics. Proceedings. Vol. 1755. Springer. 2000. p. 93-100. (Lecture Notes in Computer Science (LNCS)).
Author
Glück, Robert ; Leuschel, Michael. / Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification. Perspectives of System Informatics. Proceedings. editor / Dines Bjørner ; M. Broy ; A. V. Zamulin. Vol. 1755 Springer, 2000. pp. 93-100 (Lecture Notes in Computer Science (LNCS)).
Bibtex
@inbook{3a96ce7074c611dbbee902004c4f4f50,
title = "Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification.",
author = "Robert Gl{\"u}ck and Michael Leuschel",
note = "Extended Abstract; null ; Conference date: 29-11-2010",
year = "2000",
language = "English",
volume = "1755",
series = "Lecture Notes in Computer Science (LNCS)",
publisher = "Springer",
pages = "93--100",
editor = "Dines Bj{\o}rner and M. Broy and Zamulin, {A. V.}",
booktitle = "Perspectives of System Informatics. Proceedings",
address = "Switzerland",
}
RIS
TY - CHAP
T1 - Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification.
AU - Glück, Robert
AU - Leuschel, Michael
N1 - Extended Abstract
PY - 2000
Y1 - 2000
M3 - Book chapter
VL - 1755
T3 - Lecture Notes in Computer Science (LNCS)
SP - 93
EP - 100
BT - Perspectives of System Informatics. Proceedings
A2 - Bjørner, Dines
A2 - Broy, M.
A2 - Zamulin, A. V.
PB - Springer
Y2 - 29 November 2010
ER -
