An integrated framework for formal development of open distributed systems.

Issa Traoré Demissie B. Aredo Hong Ye

Published in: Inf. Softw. Technol. (2004)

Keyphrases

case study
software engineering