Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications.

Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir

Browse the full SEKE paper archive.