Languages
Jones, Cliff.
Overview
Works: | 0 works in 1 publications in 1 languages |
---|
Titles
FM 2014 = Formal methods : 19th International Symposium, Singapore, May 12-16, 2014 : proceedings /
by:
Jones, Cliff.; Pihlajasaari, Pekka.; Sun, Jun.; SpringerLink (Online service)
(Electronic resources)