- Artículo:
An empirical investigation of the effectiveness of systems modeling and verification tools.
- Autor:
Jeyaraj, Anand
Sauter, Vicki l
- Página:
63
- Publicación:
Communications of the ACM
- Volúmen:
50
- Número:
6
- Periodo:
Junio 2007
- ISSN:
00010782
- SrcID:
00010782-2007-06.txt
- Documento número 88237
- Actualizado el martes, 23 de mayo de 2017 03:37:47 p. m.
- Creado el martes, 23 de mayo de 2017 03:37:47 p. m.
- Enlace directo
