Cite
Chapter 7: Rely/Guarantee Reasoning and A/G Contracts: 7.3 Contracts for shared variable concurrency.
MLA
Benveniste, A., et al. “Chapter 7: Rely/Guarantee Reasoning and A/G Contracts: 7.3 Contracts for Shared Variable Concurrency.” Foundations & Trends in Electronic Design Automation, vol. 12, no. 2/3, 2018, pp. 224–27. EBSCOhost, https://doi.org/10.1561/1000000053.
APA
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., & Larsen, K. G. (2018). Chapter 7: Rely/Guarantee Reasoning and A/G Contracts: 7.3 Contracts for shared variable concurrency. In Foundations & Trends in Electronic Design Automation (Vol. 12, Issue 2/3, pp. 224–227). https://doi.org/10.1561/1000000053
Chicago
Benveniste, A., B. Caillaud, D. Nickovic, R. Passerone, J.-B. Raclet, Ph. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T. Henzinger, and K. G. Larsen. 2018. “Chapter 7: Rely/Guarantee Reasoning and A/G Contracts: 7.3 Contracts for Shared Variable Concurrency.” In Foundations & Trends in Electronic Design Automation, 12:224–27. doi:10.1561/1000000053.