High-level separation logic for low-level code
Work
Year: 2013
Type: article
Cites: 47
Cited by: 55
Related to: 10
FWCI: 5.381
Citation percentile (by year/subfield): 96.92
Subfield: Hardware and Architecture
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: closed