Astarte, T., Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., . . . Delmas, D. (2020). Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II. Lecture Notes in Computer Science, 12233, . doi:10.1007/978-3-030-54997-8
Chicago Style CitationAstarte, Troy, et al. "Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II." Lecture Notes in Computer Science 12233 (2020).
MLA CitationAstarte, Troy, et al. "Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II." Lecture Notes in Computer Science 12233 (2020).
Warning: These citations may not always be 100% accurate.