Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

MLA

Sekerinski, et al. Formal Methods. Fm 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part Ii. Springer International Publishing, 2020.

APA

Sekerinski, S., Astarte, T., Campos, J., Farrell, M., Guidotti, R., Luckcuck, M., Marmsoler, D., Moreira, N., Oliveira, J. N, & Ratiu, D. (2020). Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II. Springer International Publishing.

Chicago

Sekerinski, Troy Astarte, José Campos, Marie Farrell, Riccardo Guidotti, Matt Luckcuck, Diego Marmsoler, Nelma Moreira, José N Oliveira, and Daniel Ratiu. Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II. : Springer International Publishing, 2020.