A Formal Specification Framework for Object-Oriented Distributed Systems


Published in:
IEEE Transactions on Software Engineering, 26, 7, 635-652
Year:
2000
Keywords:
Other identifiers:
Laboratories:




 Record created 2005-09-20, last modified 2018-01-27


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)