Languages
Zhang, Wenhui.
Overview
Works: | 2 works in 1 publications in 1 languages |
---|
Titles
Automated Technology for Vertification and Analysis4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings /
by:
(1998 :); Graf, Susanne.; SpringerLink (Online service); Zhang, Wenhui.
(Electronic resources)
Dependable software engineeringtheories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021 : proceedings /
by:
(1998 :); Qin, Shengchao.; SpringerLink (Online service); Woodcock, Jim.; Zhang, Wenhui.
(Electronic resources)
Subjects
Software Engineering.
Information Systems and Communication Service.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Automatic theorem proving
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Computer Systems Organization and Communication Networks.