The Commuting V-Diagram: on the Relation of Refinement and Testing

Bernhard Aichernig

doi:10.1007/b13224

The Commuting V-Diagram: on the Relation of Refinement and Testing

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Proceedings of CSL/KGC 2003, the Annual Conference of the European Association for Computer Science Logic and 8th Kurt Gödel Colloquium
Redakteure/-innen	Matthias Baaz, Johann A. Makowsky
Herausgeber (Verlag)	Springer
Seiten	15-28
Band	2803
ISBN (Print)	978-3-540-40801-7
DOIs	https://doi.org/10.1007/b13224
Publikationsstatus	Veröffentlicht - 2003
Veranstaltung	International Workshop on Computer Science Logic - Wien, Österreich Dauer: 25 Aug. 2003 → 30 Aug. 2003

Publikationsreihe

Name	Lecture notes in computer science
Herausgeber (Verlag)	Springer

Konferenz

Konferenz	International Workshop on Computer Science Logic
Land/Gebiet	Österreich
Ort	Wien
Zeitraum	25/08/03 → 30/08/03

Zugriff auf Dokument

10.1007/b13224

Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet

Dieses zitieren

The Commuting V-Diagram: on the Relation of Refinement and Testing. / Aichernig, Bernhard.
Proceedings of CSL/KGC 2003, the Annual Conference of the European Association for Computer Science Logic and 8th Kurt Gödel Colloquium. Hrsg. / Matthias Baaz; Johann A. Makowsky. Band 2803 Springer, 2003. S. 15-28 (Lecture notes in computer science).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Aichernig, B 2003, The Commuting V-Diagram: on the Relation of Refinement and Testing. in M Baaz & JA Makowsky (Hrsg.), Proceedings of CSL/KGC 2003, the Annual Conference of the European Association for Computer Science Logic and 8th Kurt Gödel Colloquium. Bd. 2803, Lecture notes in computer science, Springer, S. 15-28, International Workshop on Computer Science Logic, Wien, Österreich, 25/08/03. https://doi.org/10.1007/b13224

@inproceedings{7d31162acc7b48efbd418729df92a551,

title = "The Commuting V-Diagram: on the Relation of Refinement and Testing",

author = "Bernhard Aichernig",

year = "2003",

doi = "10.1007/b13224",

language = "English",

isbn = "978-3-540-40801-7",

volume = "2803",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "15--28",

editor = "Matthias Baaz and Makowsky, {Johann A.}",

booktitle = "Proceedings of CSL/KGC 2003, the Annual Conference of the European Association for Computer Science Logic and 8th Kurt G{\"o}del Colloquium",

note = "International Workshop on Computer Science Logic ; Conference date: 25-08-2003 Through 30-08-2003",

}

TY - GEN

T1 - The Commuting V-Diagram: on the Relation of Refinement and Testing

AU - Aichernig, Bernhard

PY - 2003

Y1 - 2003

U2 - 10.1007/b13224

DO - 10.1007/b13224

M3 - Conference paper

SN - 978-3-540-40801-7

VL - 2803

T3 - Lecture notes in computer science

SP - 15

EP - 28

BT - Proceedings of CSL/KGC 2003, the Annual Conference of the European Association for Computer Science Logic and 8th Kurt Gödel Colloquium

A2 - Baaz, Matthias

A2 - Makowsky, Johann A.

PB - Springer

T2 - International Workshop on Computer Science Logic

Y2 - 25 August 2003 through 30 August 2003

ER -

The Commuting V-Diagram: on the Relation of Refinement and Testing

Publikationsreihe

Konferenz

Zugriff auf Dokument

Projekte

Formale Methoden

Dieses zitieren