Integrating Theories and Techniques for Program Modelling, Design and Verification: Positioning the Research at UNU-IIST in Collaborative Research on the Verified Software Challenge : 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
In: LECTURE NOTES IN COMPUTER SCIENCE, 2008, Heft 4171, S. 291-300
serialPeriodical
Zugriff:
Titel: |
Integrating Theories and Techniques for Program Modelling, Design and Verification: Positioning the Research at UNU-IIST in Collaborative Research on the Verified Software Challenge : 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
|
---|---|
Autor/in / Beteiligte Person: | Aichernig, B.K. ; Jifeng, H. ; Liu, Z. ; Reed, M. |
Link: | |
Zeitschrift: | LECTURE NOTES IN COMPUTER SCIENCE, 2008, Heft 4171, S. 291-300 |
Veröffentlichung: | 2008 |
Medientyp: | serialPeriodical |
ISSN: | 0302-9743 (print) |
Sonstiges: |
|