Product
Help
Pricing
About
Jobs
Log in
Get started
Work
Add to collection
Static Program Analysis
HTML
Details
Locations
Year:
2011
Type:
reference-entry
Source:
Springer eBooks
DOI:
10.1007/978-1-4419-5906-5_1356
Language:
English
Topic:
Security and Verification in Computing
Subfield:
Hardware and Architecture
Field:
Computer Science
Domain:
Physical Sciences
Open Access status:
closed
OpenAlex ID:
W612300255
Cites:
54
Cited by:
54
Related to:
10