Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 (WG6.1) Fifth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology

Name: Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 (WG6.1) Fifth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology
ISBN: 9780792376835

Bart Jacobs , Arend Rensink