Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers. Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada. In Jean-Pierre Rosen, Alfred Strohmeier, editors, Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings. Volume 2655 of Lecture Notes in Computer Science, pages 129-141, Springer, 2003. [doi]
@inproceedings{BriotGDCW03,
title = {Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada},
author = {Emmanuel Briot and Franco Gasperoni and Robert Dewar and Dirk Craeynest and Philippe Waroquiers},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2655&spage=129},
researchr = {https://researchr.org/publication/BriotGDCW03},
cites = {0},
citedby = {0},
pages = {129-141},
booktitle = {Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings},
editor = {Jean-Pierre Rosen and Alfred Strohmeier},
volume = {2655},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-40376-0},
}