FM 2014: Formal Methods

MLA

Cliff Jones, Pekka Pihlajasaari, Jun Sun, Pekka Pihlajasaari, and Jun Sun. Fm 2014: Formal Methods. Springer International Publishing, 2014.

APA

Cliff Jones, J. Sun, Pihlajasaari, P., & Sun, J. (2014). FM 2014: Formal Methods. Springer International Publishing.

Chicago

Cliff Jones, Pekka Pihlajasaari, Jun Sun, Pekka Pihlajasaari, and Jun Sun. FM 2014: Formal Methods. : Springer International Publishing, 2014.