FM 2014: Formal Methods: 19th International Symposium, ...
Preview
... Singapore Doctoral Symposium Chair Annabelle McIver Macquarie University,
Australia Workshop Chair Shengchao Qin University of Teesside, UK Publicity
Chairs Jonathan Bowen London South Bank University, UK Kenji Taguchi AIST,
...