Formal techniques for distributed systems Jjoint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings - International Conference on Formal Methods for Open Object-Based Distributed Systems 2010 : Amsterdam, Netherlands); Hatcliff, John.; Zucca, Elena; SpringerLink (Online service) (Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010)
Keywords: Formal methods (Computer science) -- Congresses; Software Engineering; Computer Science; Computer Communication Networks; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Techniques