Integrating Theories and Techniques for Program Modelling, Design and Verification: Positioning the Research at UNU-IIST in Collaborative

Bernhard Aichernig; He Jifeng; Zhiming Liu; Mike Reed

Integrating Theories and Techniques for Program Modelling, Design and Verification: Positioning the Research at UNU-IIST in Collaborative

Bernhard Aichernig, He Jifeng, Zhiming Liu, Mike Reed

Institut für Softwaretechnologie (7160)

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

Originalsprache	englisch
Titel	Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Redakteure/-innen	Bertrand Meyer, Jim Woodcock
Herausgeber (Verlag)	Springer Verlag
Seiten	291-300
Band	4171
ISBN (Print)	978-3-540-69147-1
Publikationsstatus	Veröffentlicht - 2008
Veranstaltung	Verified Software: Theories, Tools, Experiments - Zürich, Schweiz Dauer: 10 Okt. 2005 → 13 Okt. 2005

Publikationsreihe

Name	Lecture Notes in Computer Science
Herausgeber (Verlag)	Springer-Verlag

Konferenz

Konferenz	Verified Software: Theories, Tools, Experiments
Land/Gebiet	Schweiz
Ort	Zürich
Zeitraum	10/10/05 → 13/10/05

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

Dieses zitieren

Aichernig, B., Jifeng, H., Liu, Z., & Reed, M. (2008). Integrating Theories and Techniques for Program Modelling, Design and Verification: Positioning the Research at UNU-IIST in Collaborative. in B. Meyer, & J. Woodcock (Hrsg.), Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (Band 4171, S. 291-300). (Lecture Notes in Computer Science). Springer Verlag.

Integrating Theories and Techniques for Program Modelling, Design and Verification: Positioning the Research at UNU-IIST in Collaborative. / Aichernig, Bernhard; Jifeng, He; Liu, Zhiming et al.
Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. Hrsg. / Bertrand Meyer; Jim Woodcock. Band 4171 Springer Verlag, 2008. S. 291-300 (Lecture Notes in Computer Science).

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

Aichernig, B, Jifeng, H, Liu, Z & Reed, M 2008, Integrating Theories and Techniques for Program Modelling, Design and Verification: Positioning the Research at UNU-IIST in Collaborative. in B Meyer & J Woodcock (Hrsg.), Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. Bd. 4171, Lecture Notes in Computer Science, Springer Verlag, S. 291-300, Verified Software: Theories, Tools, Experiments, Zürich, Schweiz, 10/10/05.

Aichernig B, Jifeng H, Liu Z, Reed M. Integrating Theories and Techniques for Program Modelling, Design and Verification: Positioning the Research at UNU-IIST in Collaborative. in Meyer B, Woodcock J, Hrsg., Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. Band 4171. Springer Verlag. 2008. S. 291-300. (Lecture Notes in Computer Science).

Aichernig, Bernhard ; Jifeng, He ; Liu, Zhiming et al. / Integrating Theories and Techniques for Program Modelling, Design and Verification: Positioning the Research at UNU-IIST in Collaborative. Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. Hrsg. / Bertrand Meyer ; Jim Woodcock. Band 4171 Springer Verlag, 2008. S. 291-300 (Lecture Notes in Computer Science).

@inproceedings{ccc1b2f786bb4e2f8202b4e1353d76cd,

title = "Integrating Theories and Techniques for Program Modelling, Design and Verification: Positioning the Research at UNU-IIST in Collaborative",

author = "Bernhard Aichernig and He Jifeng and Zhiming Liu and Mike Reed",

year = "2008",

language = "English",

isbn = "978-3-540-69147-1",

volume = "4171",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "291--300",

editor = "Bertrand Meyer and Jim Woodcock",

booktitle = "Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions",

address = "Germany",

note = "Verified Software: Theories, Tools, Experiments ; Conference date: 10-10-2005 Through 13-10-2005",

}

TY - GEN

T1 - Integrating Theories and Techniques for Program Modelling, Design and Verification: Positioning the Research at UNU-IIST in Collaborative

AU - Aichernig, Bernhard

AU - Jifeng, He

AU - Liu, Zhiming

AU - Reed, Mike

PY - 2008

Y1 - 2008

M3 - Conference paper

SN - 978-3-540-69147-1

VL - 4171

T3 - Lecture Notes in Computer Science

SP - 291

EP - 300

BT - Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

A2 - Meyer, Bertrand

A2 - Woodcock, Jim

PB - Springer Verlag

T2 - Verified Software: Theories, Tools, Experiments

Y2 - 10 October 2005 through 13 October 2005

ER -

Integrating Theories and Techniques for Program Modelling, Design and Verification: Positioning the Research at UNU-IIST in Collaborative

Publikationsreihe

Konferenz

Projekte

Formale Methoden

Dieses zitieren