FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Cliff B. Jones, Pekka Pihlajasaari, Jun Sun 0001, editors, FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Volume 8442 of Lecture Notes in Computer Science, Springer, 2014. [doi]

Conference: FM2014

Editors

Cliff B. Jones

This author has not been identified. Look up 'Cliff B. Jones' in Google

Pekka Pihlajasaari

This author has not been identified. Look up 'Pekka Pihlajasaari' in Google

Jun Sun 0001

This author has not been identified. Look up 'Jun Sun 0001' in Google