FM 2014: Formal methods: 19th international symposium

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following top...

Full description

Saved in:
Bibliographic Details
Main Authors: JONES, Cliff B., PIHLAJASAARI, Pekka, SUN, Jun
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2014
Subjects:
Online Access:https://ink.library.smu.edu.sg/sis_research/5066
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English