Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers - Carbone, Marco; Petit, Jean-Marc (Berlin, Heidelberg : Springer Berlin Heidelberg, 2012)
Keywords: Computer science; Software engineering; Information Storage and Retrieval; User interfaces (Computer systems).; Management information systems