Frontmatter, Table of Contents, Preface, Workshop Organization. In Christine Choppy, Jun Sun 0001, editors, 1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore. Volume 31 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]
Abstract is missing.