Capítulos de libro

Año: 2003

  • Reuse of Formal Verification Efforts of Incomplete Models at the Requirements Specification Stage.
    Díaz Redondo, R. P., Pazos Arias, J. J. & Fernández Vilas, A (2003). En Cechich, A., Piattini, M. & Vallecillo, A. (editores), Component-based Software Quality: Methods and Techniques. Springer Verlag.