The Design and Implement of the Instrument of Dynamically Discovering C Program Invariants
Year: 2008
Type: article
Source: Microcomputer Information
Author: Tonglan Yu
Institutions: Nanhua University, University of South China
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2372985513