OpenAlex
Automated Inference of Library Specifications for Source-Sink Property Verification
Work
Year: 2013
Type: book-chapter
Source: Lecture notes in computer science
Authors Haiyan Zhu, Thomas Dillig, Işıl Dillig
Institutions William & Mary, University College London, Microsoft Research (United Kingdom)
Cites: 32
Cited by: 35
Related to: 10
FWCI: 3.611
Citation percentile (by year/subfield): 97.88
Topic: Security and Verification in Computing
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed