Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification.

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Original languageEnglish
Title of host publicationPerspectives of System Informatics. Proceedings
EditorsDines Bjørner, M. Broy, A. V. Zamulin
Volume1755
PublisherSpringer
Publication date2000
Pages93-100
Publication statusPublished - 2000
EventPerspectives of System Informatics -
Duration: 29 Nov 2010 → …

Conference

ConferencePerspectives of System Informatics
Periode29/11/2010 → …
SeriesLecture Notes in Computer Science (LNCS)
ISSN0302-9743

Bibliographical note

Extended Abstract

ID: 148470