Florida State University, USA

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
Florida State University, USA
 

OrgUnit's Publications


Results 1-1 of 1 (Search time: 0.0 seconds).

PreviewAuthor(s)TitleTypeIssue Date
123_Automating Modular Verification of Secure Information Flow.pdf.jpgPick, Lauren ; Fedyukovich, Grigory ; Gupta, Aarti Automating Modular Verification of Secure Information FlowKonferenzbeitrag Inproceedings 2020