Show simple item record

Software Verification for Weak Memory via Program Transformation

dc.contributor.authorAlglave, Jen_US
dc.contributor.authorKroening, Den_US
dc.contributor.authorNimal, Ven_US
dc.contributor.authorTautschnig, Men_US
dc.date.accessioned2013-03-08T10:14:18Z
dc.date.issued2013en_US
dc.identifier.issn0302-9743en_US
dc.identifier.urihttp://qmro.qmul.ac.uk/xmlui/handle/123456789/3679
dc.descriptionThis version previously deposited at arXiv:1207.7264v1 [cs.LO]en_US
dc.format.extent512 - 532en_US
dc.language.isoenen_US
dc.relation.ispartofPROGRAMMING LANGUAGES AND SYSTEMSen_US
dc.titleSoftware Verification for Weak Memory via Program Transformationen_US
dc.typeArticle
pubs.author-urlhttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000342810200028&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=612ae0d773dcbdba3046f6df545e9f6aen_US
pubs.notesNot knownen_US
pubs.publication-statusPublisheden_US
pubs.volume7792en_US


Files in this item

Thumbnail
Name:
TAUTSCHNIGSoftwareVerification ...
Size:
255.0Kb
Format:
application/
View/Open

This item appears in the following Collection(s)

Show simple item record