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

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

OriginalsprogEngelsk
TitelPerspectives of System Informatics. Proceedings
RedaktørerDines Bjørner, M. Broy, A. V. Zamulin
Vol/bind1755
ForlagSpringer
Publikationsdato2000
Sider93-100
StatusUdgivet - 2000
BegivenhedPerspectives of System Informatics -
Varighed: 29 nov. 2010 → …

Konference

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

ID: 148470