Product
Help
Pricing
About
Jobs
Log in
Get started
Work
Add to collection
Static Analysis
HTML
Details
Locations
Year:
2021
Type:
conference-paper
Source:
Lecture notes in computer science
DOI:
10.1007/978-3-030-88806-0
Language:
English
Topic:
Logic, programming, and type systems
Subfield:
Artificial Intelligence
Field:
Computer Science
Domain:
Physical Sciences
Open Access status:
closed
OpenAlex ID:
W4236376593
FWCI:
Cites:
11
Cited by:
Related to:
10