iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/sas/AldousM15.rdf
Peter Aldous and Matthew Might: Static Analysis of Non-interference in Expressive Low-Level Languages. (2015) conf/sas/AldousM15 10.1007/978-3-662-48288-9_1 Static Analysis of Non-interference in Expressive Low-Level Languages. 2 Peter Aldous 1 Matthew Might 2 1-17 SAS SAS 2015 2015 provenance information for RDF data of dblp record 'conf/sas/AldousM15' 2018-11-02T09:39:04+0100