French Singaporean Workshop on Formal Methods and Applications (FSFMA)
FSFMA 2013: Singapore
Christine Choppy, Jun Sun (Eds.): 1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2013 OASICS 31 ISBN 978-3-939897-56-9 [ contents ]



