Formal Methods for Distributed System Development : Forte/Pstv 2000 Ifip Tc6....

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG

Formal Methods for Distributed System Development : #########################...

Formal Methods for Open Object-Based Distributed Systems IV : Ifip Tc6/Wg6.1 ...

Formal Methods for Open Object-Based Distributed Systems : Ifip Tc6/Wg6.1 Thi...

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fou