Krishna, A., Vilkomir, S. A. & Ghose, A. K. (2009). Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models. Information and Software Technology, 51 (2), 478-496.
Please refer to publisher version or contact your library.
Publication Details
Krishna, A., Vilkomir, S. A. & Ghose, A. K. (2009). Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models. Information and Software Technology, 51 (2), 478-496.