Treffer: Formal specification of CORBA services using Object-Z
Title:
Formal specification of CORBA services using Object-Z
Authors:
Source:
Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241) Formal engineering methods Formal Engineering Methods, 1998. Proceedings. Second International Conference on. :180-189 1998
Relation:
Proceedings Second International Conference on Formal Engineering Methods
Database:
IEEE Xplore Digital Library