Title: Formal techniques for distributed systems
Subjects: Distributed processing, Congresses, Formale Methode, Electronic data processing, Formal methods (Computer science), Verteiltes System, Object-oriented programming (Computer science), Logic design, Computer networks, Computer science, Software engineering
Places: Amsterdam <2010>