An integrated framework for formal development of open distributed systems

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

April 01, 2004

DART

• ISBN:
• Author(s): Traoré, Issa; Aredo, Demissie; Ye, Hong
• Title: An integrated framework for formal development of open distributed systems
• Volume/number: 46 (5)
• Name and number of project:
• Journal: Journal of Information and Software Technology
• Page(s): 281-286
• Conference:
• Refereed: 1
• Publisher:
• Published date: April 01, 2004
• Book title:
• Editor: