FM 2016: Formal Methods

MLA

Fitzgerald, et al. Fm 2016: Formal Methods. Springer International Publishing, 2016.

APA

Fitzgerald, F., Gnesi, S., Heitmeyer, C., & Philippou, A. (2016). FM 2016: Formal Methods. Springer International Publishing.

Chicago

Fitzgerald, Stefania Gnesi, Constance Heitmeyer, and Anna Philippou. FM 2016: Formal Methods. : Springer International Publishing, 2016.