An integrated framework for formal development of open distributed systems

• Autores: Demissie Aredo, Issa Traoré, Hong Ye
• Localización: Information and software technology, ISSN 0950-5849, Vol. 46, Nº 5, 2004, págs. 281-286
• Idioma: inglés
• Texto completo no disponible (Saber más ...)