- Artículo:
Software Engineering and Formal Methods
- Autor:
HINCHEY, MIKE
JACKSON, MICHAEL
COUSOT, PATRICK
COOK, BYRON
BOWEN, JONATHAN P.
MARGARIA, TIZIANA
- Página:
54
- Publicación:
Communications of the ACM
- Volúmen:
51
- Número:
9
- Periodo:
septiembre 2008
- ISSN:
00010782
- SrcID:
00010782-2008-09.txt
- Documento número 88603
- Actualizado el martes, 23 de mayo de 2017 03:37:48 p. m.
- Creado el martes, 23 de mayo de 2017 03:37:48 p. m.
- Enlace directo
