Issa Traoré, Demissie B. Aredo, Hong Ye
An Integrated Framework for Formal Development of Open Distributed Systems
SAC, 2003.
@inproceedings{SAC-2003-TraoreYA,
author = "Issa Traoré and Demissie B. Aredo and Hong Ye",
booktitle = "{Proceedings of the 18th Symposium on Applied Computing}",
pages = "1078--1085",
publisher = "{ACM}",
title = "{An Integrated Framework for Formal Development of Open Distributed Systems}",
year = 2003,
}