Preface

Fundamenta Informaticae, vol. 173, pp. i–ii

Abstract

Software engineers want to be real engineers.Real engineers use mathematics.Formal methods are the mathematics of software engineering.Therefore, software engineers should use formal methods."Mike HollowayThe Working Formal Methods Symposium (FROM) aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions.FROM

Authors 3

1. Jetty Kleijn Aachen

   Leiden University

   Affiliation as printed

   Leiden University, the Netherlands

2. Laurenţiu Leuştean

   University of Bucharest

   Affiliation as printed

   University of Bucharest, Romania

3. Dorel Lucanu

   Alexandru Ioan Cuza University

   Affiliation as printed

   Alexandru Ioan Cuza University of Iaşi, Romania