Research of model of dynamical discovering program invariants based on contract
Year: 2008
Type: article
Source: Jisuanji gongcheng yu sheji
Author: Xiaohua Yang
Institution: University of South China
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2356097297