Book chapters

Year: 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). In Cechich, A., Piattini, M. & Vallecillo, A. (editors), Component-based Software Quality: Methods and Techniques. Springer Verlag.