An integrated framework for formal development of open distributed systems

Traoré, Issa; Aredo, Demissie; Ye, Hong

March 09, 2003

DART

• Published date: March 09, 2003
• Publisher:
• Refereed: 1
• Conference: ACM Symposium on Applied Computing, (ACM SAC2003)
• Page(s):
• Journal:
• Name and number of project:
• Volume/number:
• Title: An integrated framework for formal development of open distributed systems
• Author(s): Traoré, Issa; Aredo, Demissie; Ye, Hong
• ISBN:
• Book title:
• Editor: