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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationVerified 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
EditorsBertrand Meyer, Jim Woodcock
PublisherSpringer Verlag
Pages291-300
Volume4171
ISBN (Print)978-3-540-69147-1
Publication statusPublished - 2008
EventVerified Software: Theories, Tools, Experiments - Zürich, Switzerland
Duration: 10 Oct 200513 Oct 2005

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag

Conference

ConferenceVerified Software: Theories, Tools, Experiments
CountrySwitzerland
CityZürich
Period10/10/0513/10/05

Cite this

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 (Eds.), 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 (Vol. 4171, pp. 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; Reed, Mike.

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. ed. / Bertrand Meyer; Jim Woodcock. Vol. 4171 Springer Verlag, 2008. p. 291-300 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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 (eds), 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. vol. 4171, Lecture Notes in Computer Science, Springer Verlag, pp. 291-300, Verified Software: Theories, Tools, Experiments, Zürich, Switzerland, 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, editors, 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. Vol. 4171. Springer Verlag. 2008. p. 291-300. (Lecture Notes in Computer Science).
Aichernig, Bernhard ; Jifeng, He ; Liu, Zhiming ; Reed, Mike. / 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. editor / Bertrand Meyer ; Jim Woodcock. Vol. 4171 Springer Verlag, 2008. pp. 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",

}

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 contribution

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

ER -