- Artículo:
Formal verification and software product lines.
- Autor:
Kishi, Tomoji
Noda, Natsuko
- Página:
73
- Publicación:
Communications of the ACM
- Volúmen:
49
- Número:
12
- Periodo:
Diciembre 2006
- ISSN:
00010782 TTI News Track
- SrcID:
00010782-2006-12.txt
- Documento número 978923
- Actualizado el martes, 10 de julio de 2018 11:05:14 a. m.
- Creado el martes, 10 de julio de 2018 11:05:14 a. m.
- Enlace directo
