FMOODS & FORTE 2012: DisCoTec'12

FMOODS & FORTE 2012: DisCoTec'12
IFIP International Conference on Formal Techniques for Distributed Systems
joint international conference
14th Formal Methods for Open Object-Based Distributed Systems
32nd Formal Techniques for Networked and Distributed Systems

Stockholm, Sweden, 13-16 June 2012