Scott F. Smith

1 published title

Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2

(Contributor)

1 edition