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

MLA

Sekerinski, et al. Formal Methods. Fm 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I. 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 I. 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 I. : Springer International Publishing, 2020.