Programming Logic and Program Correctness Proof
Year: 1983
Type: article
Source: Chinese Journal of Computers
Author: Yong Feng
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2365372175