FORTE 2007 (2007 Tallinn, Estonia)

• Formal techniques for networked and distributed systems