Toggle navigation
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
Software Verification for Weak Memory via Program Transformation
QMRO Home
School of Electronic Engineering and Computer Science
Theoretical Computer Science Group
Software Verification for Weak Memory via Program Transformation
QMRO Home
School of Electronic Engineering and Computer Science
Theoretical Computer Science Group
Software Verification for Weak Memory via Program Transformation
Browse
All of QMRO
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
Administrators only
Login
Statistics
Most Popular Items
Statistics by Country
Most Popular Authors
Software Verification for Weak Memory via Program Transformation
View/
Open
TAUTSCHNIGSoftwareVerification2012POST.pdf (255.0Kb)
Volume
7792
Pagination
512 - 532
Journal
PROGRAMMING LANGUAGES AND SYSTEMS
ISSN
0302-9743
Metadata
Show full item record
Authors
Alglave, J; Kroening, D; Nimal, V; Tautschnig, M
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/3679
Collections
Theoretical Computer Science Group
[25]