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 contribution

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