Web Services, Formal Methods, and Behavioral Types (WS-FM)

Web Services and Formal Methods

Venue statistics

records by year

document access 

    frequent authors

      11th WS-FM 2014: Eindhoven, The Netherlands / 12th WS-FM 2015: Madrid, Spain

      10th WS-FM 2013: Beijing, China

      9th WS-FM 2012: Tallinn, Estonia

      8th WS-FM 2011: Clermont-Ferrand, France

      7th WS-FM 2010: Hoboken, NJ, USA

      6th WS-FM 2009: Bologna, Italy

      5th WS-FM 2008: Milan, Italy

      4th WS-FM 2007: Brisbane, Australia

      3rd WS-FM 2006: Vienna, Austria

      1st WSFM 2004: Pisa, Italy

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics