Modular Verification of Procedure Equivalence in the Presence of Memory Allocation
Work
Year: 2017
Type: book-chapter
Institutions Imperial College London, Microsoft (United States)
Cites: 50
Cited by: 17
Related to: 10
FWCI: 2.398
Citation percentile (by year/subfield): 91.8
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed