TY  - GEN
DO  - 10.1007/978-3-030-31038-7
DO  - doi
T1  - Unifying theories of programming :7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, Proceedings /
AU  - Ribeiro, Pedro,
AU  - Sampaio, Augusto,
AU  - Hoare, C. A. R.
VL  - 11885
CN  - QA76.6
N1  - International conference proceedings.
N1  - Includes author index.
ID  - 914833
KW  - Computer programming
SN  - 9783030310387
SN  - 3030310388
TI  - Unifying theories of programming :7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-31038-7
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-31038-7
ER  -