A Common Semantic Scoring Method for Chinese Subjective Questions
Xinhua Zhu, Qingting Xu, Lanfang Zhang, Han Deng, Hongchao Chen · 2019
The following topics are dealt with: formal verification; formal specification; program testing; automata theory; programming language semantics; object-oriented programming; program debugging; theorem proving; temporal logic; multi-agent systems.