The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems Henrikas Pranevicius   View Paper (PDF)   Return to Conceptual Modeling. Information Systems Specification ©2004 Association for Computing Machinery