Combining Graphical and Formal Development of Open Distributed Systems.

Einar Broch Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo

Browse the full IFM paper archive.