Normal view
MARC view
Zhu, Huibiao Editor (Personal Name)
Machine generated authority record.
Work cat.: (OSt)274236: Unifying theories of programming: 6th international symposium, UTP, proceedings, Reykjavik, Iceland, Jun. 4-5, 2016 (e-book), 2017