Experiments in abstract interpretation-based code certification for pervasive systems
- Albert, E.
- Puebla, G.
- Hermenegildo, M.
ISSN: 1062-922X
ISBN: 0780385667
Año de publicación: 2004
Volumen: 2
Páginas: 1125-1130
Tipo: Aportación congreso
Actas:
Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics