The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems.

Henrikas Pranevicius

Browse the full ADBIS paper archive.