Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings

MLA

Hutton, Graham and SpringerLink (Online service). Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings. 1st ed. 2019. Cham : Springer International Publishing : Imprint: Springer, 2019.

APA

Hutton, G. & SpringerLink (Online service). (2019). Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings. 1st ed. 2019. Cham : Springer International Publishing : Imprint: Springer.

Chicago

Hutton, Graham and SpringerLink (Online service). Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings. Edited by Graham Hutton. 1st ed. 2019. Cham : Springer International Publishing : Imprint: Springer, 2019.