![](/img/cover-not-exists.png)
[IEEE 2008 Third International Conference on Availability, Reliability and Security - (2008.03.4-2008.03.7)] 2008 Third International Conference on Availability, Reliability and Security - Type and Effect Annotations for Safe Memory Access in C
Tlili, Syrine, Debbabi, MouradYear:
2008
Language:
english
DOI:
10.1109/ares.2008.18
File:
PDF, 338 KB
english, 2008