Henrikas Pranevitchius
-
The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems