- Artículo:
Theories, solvers and static analysis by abstract interpretation
- Autor:
Patrick Cousot
Radhia Cousot
Laurent Mauborgne
- Publicación:
Journal of the ACM
- Volúmen:
59
- Número:
5
- Periodo:
diciembre 2012
- ISSN:
00045411
- SrcID:
00045411-2012-06.txt
- Documento número 253083
- Actualizado el martes, 23 de mayo de 2017 03:53:21 p. m.
- Creado el martes, 23 de mayo de 2017 03:53:21 p. m.
- Enlace directo
