Conference item
Verified Software: Theories‚ Tools‚ Experiments Vision of a Grand Challenge Project
Actions
Authors
Bibliographic Details
- Publisher:
- Springer
- Volume:
- 4171
- Host title:
- 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
- Publication date:
- 2005-01-01
- DOI:
Item Description
- UUID:
-
uuid:1f5b83cb-f5b9-4a46-8780-5a45fd371ff9
- Local pid:
- cs:8352
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 2005
If you are the owner of this record, you can report an update to it here: Report update to this record