Languages
Zhu, Huibiao.
Overview
| Works: | 3 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal methods and software engineering12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, proceedings /
by:
(1998 :); Dong, Jin Song.; SpringerLink (Online service); Zhu, Huibiao.
(Electronic resources)
Unifying theories of programming6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers /
by:
(1998 :); Bowen, Jonathan P.; SpringerLink (Online service); Zhu, Huibiao.
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer programming
Computer Science.
Computer Communication Networks.