Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, ... Notes in Computer Science Book 11885)

7.51 MiB

Download ready in 3s