Certified absence of dangling pointers in a language withe explicit deallocation
- Dios Castro, Javier de
- Peña Marí, Ricardo
- Montenegro Hermida, Manuel Francisco
- Lucio, Paqui (ed. lit.)
- Moreno Valverde, Ginés Damián (ed. lit.)
- Peña Marí, Ricardo (ed. lit.)
Editorial: Mondragon Unibertsitatea
ISBN: 978-84-692-4600-9
Any de publicació: 2009
Pàgines: 65-74
Congrés: Jornadas sobre Programación y Lenguajes (9. 2009. San Sebastián)
Tipus: Aportació congrés