Towards Modularly Comparing Programs Using Automated Theorem Provers
Work
Year: 2013
Type: book-chapter
Institutions Microsoft (United States), University of California, San Diego, Universidade Federal de Pernambuco
Cites: 18
Cited by: 53
Related to: 10
FWCI: 6.018
Citation percentile (by year/subfield): 95.58
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed