Alglave, J., Kroening, D., Nimal, V., & Tautschnig, M. (2013). Software Verification for Weak Memory via Program Transformation.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रAlglave, J., D. Kroening, V. Nimal, और M. Tautschnig. Software Verification for Weak Memory via Program Transformation. 2013.
एमएलए (9वां संस्करण) प्रशस्ति पत्रAlglave, J., et al. Software Verification for Weak Memory via Program Transformation. 2013.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.