Home

Member login



@INBOOK{amst:hasmmc,
TITLE = "A Hybrid Approach for Safe Memory Management in C",
AUTHOR = "Syrine Tlili, Zhenrong Yang, Hai Zhou Ling and Mourad Debbabi",
PUBLISHER = "Springer Berlin / Heidelberg",
EDITION = "In Proceedings of the 12th International Conference on Algebraic
Methodology and Software Technology (AMAST'2008)",
YEAR = 2008,
PAGES = "377--391",
}