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/esop/AlglaveKNT13.rdf
Jade Alglave et al.: Software Verification for Weak Memory via Program Transformation. (2013) conf/esop/AlglaveKNT13 10.1007/978-3-642-37036-6_28 Software Verification for Weak Memory via Program Transformation. 4 Jade Alglave 1 Daniel Kroening 2 Vincent Nimal 3 Michael Tautschnig 4 512-532 ESOP ESOP 2013 2013 provenance information for RDF data of dblp record 'conf/esop/AlglaveKNT13' 2020-03-27T08:58:30+0100