%0 Generic %A Jones, Cliff. %E Pihlajasaari, Pekka. %E Sun, Jun. %@ 9783319064109 %T FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / %U https://ezaccess.libraries.psu.edu/login?url=http://dx.doi.org/10.1007/978-3-319-06410-9