Type and Effect Annotations for Safe Memory Access in C - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Syrine Tlili, Mourad Debbabi. Type and Effect Annotations for Safe Memory Access in C. In Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain. pages 302-309, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Syrine Tlili' in GoogleThis author has not been identified. Look up 'Mourad Debbabi' in Google

runs on WebDSL