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

Formal Methods for Distributed Processing by Howard Bowman, J... - 9780521771849

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

Bolognesi - Formal Methods for Distributed System Development FORTE - X555z

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

IFIP: Formal Methods for Open Object-Based Distributed Systems IV by S Smith HC

Formal Methods for Open Object-Based Distributed Systems by P... - 9781475752663

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