Hybrid Information Flow Control for Low-Level Code

AuthID
 P-00V-Z5H
3
Author(s)
2
Editor(s)
Calinescu,R;Pasareanu,CS
Document Type
Proceedings Paper
Year published
2021
Published
in SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2021) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 13085, Pages: 141-159 (19)
Conference
19Th International Conference on Software Engineering and Formal Methods (Sefm), Date: DEC 06-10, 2021, Location: ELECTR NETWORK, Sponsors: Carnegie Mellon Univ, Assuring Auton Int Programme,Nazarbayev Univ,Univ York,UKRI Trustworthy Autonomous Sys Node Resilience
Indexing
Wos®
Scopus®
Google Scholar®
Publication Identifiers
Scopus: 2-s2.0-85121915280
Wos: WOS:000850998600009
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service