Browsing by Author Liu, Zhiming
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2013 | Theories of programming and formal methods / | Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao |
| Issue Date | Title | Author(s) |
|---|---|---|
| 2013 | Theories of programming and formal methods / | Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao |