Verifying Array Programs by Transforming Verification Conditions
Work
Year: 2014
Type: book-chapter
Institutions University of Chieti-Pescara, University of Rome Tor Vergata, Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti
Cites: 40
Cited by: 12
Related to: 10
FWCI: 3.903
Citation percentile (by year/subfield): 78.61
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: green