TY  - GEN
DO  - 10.1007/978-3-030-33636-3
DO  - doi
T1  - Mathematics of program construction :13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings /
AU  - Hutton, Graham,
VL  - 11825
CN  - QA76.6
N1  - International conference proceedings.
N1  - Includes author index.
ID  - 915978
KW  - Computer programming
KW  - Computer programs
SN  - 9783030336363
SN  - 3030336360
TI  - Mathematics of program construction :13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-33636-3
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-33636-3
ER  -