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

Institute of Software Technology (7160)

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

Original language	English
Title of host publication	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
Editors	Bertrand Meyer, Jim Woodcock
Publisher	Springer Verlag
Pages	291-300
Volume	4171
ISBN (Print)	978-3-540-69147-1
Publication status	Published - 2008
Event	Verified Software: Theories, Tools, Experiments - Zürich, Switzerland Duration: 10 Oct 2005 → 13 Oct 2005

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer-Verlag

Conference

Conference	Verified Software: Theories, Tools, Experiments
Country/Territory	Switzerland
City	Zürich
Period	10/10/05 → 13/10/05

Formal Methods
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Project: Research area

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 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. 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 proceeding › Conference paper › peer-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 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. 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",

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

Publication series

Conference

Projects

Formal Methods

Cite this