Conference item
The Verifying Compiler: A Grand Challenge for Computing Research
Actions
Access Document
- Publisher copy:
- 10.1007/978-3-540-45209-6_1
Authors
- Publisher:
- Springer
- Host title:
- Euro−Par 2003. Parallel Processing‚ 9th International Euro−Par Conference‚ Klagenfurt‚ Austria‚ August 26−29‚ 2003. Proceedings
- Volume:
- 2790
- Publication date:
- 2003-01-01
- DOI:
- UUID:
-
uuid:ccf51e32-2621-4306-ad87-2391412ad507
- Local pid:
-
cs:8343
- Deposit date:
-
2015-03-31
- ARK identifier:
Terms of use
- Copyright date:
- 2003
If you are the owner of this record, you can report an update to it here: Report update to this record