Integration of verification methods for program systems
Work
Year: 2009
Type: article
Author В. В. Кулямин
Institution Russian Academy of Sciences
Cites: 77
Cited by: 5
Related to: 10
FWCI: 0.522
Citation percentile (by year/subfield): 78.79
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed