Research on Model Checking Based Source Code Analysis
Year: 2009
Type: article
Source: Microelectronics & Computer
Author: Rong Li
Institution: Central China Normal University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2351989182