Modular inference of subprogram contracts for safety checking
Work
Year: 2010
Type: article
Source: Journal of Symbolic Computation
Authors Yannick Moy, Claude Marché
Institutions AdaCore (France), Université Paris-Sud, Laboratoire de Recherche en Informatique, Institut national de recherche en informatique et en automatique, Centre National de la Recherche Scientifique +1 more
Cites: 67
Cited by: 17
Related to: 10
FWCI: 0.79
Citation percentile (by year/subfield): 85.61
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: bronze