Benveniste, A., Caillaud, B., Hutchison, D., Kanade, T., Kittler, J., Kleinberg, J. M., . . . Mardare, R. (2017). Synchronous Interfaces and Assume/Guarantee Contracts. Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, 10460, 233-248. https://doi.org/10.1007/978-3-319-63121-9_12
Chicago-referens (17:e uppl.)Benveniste, Albert, et al. "Synchronous Interfaces and Assume/Guarantee Contracts." Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday 10460 (2017): 233-248. https://doi.org/10.1007/978-3-319-63121-9_12.
MLA-referens (9:e uppl.)Benveniste, Albert, et al. "Synchronous Interfaces and Assume/Guarantee Contracts." Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, vol. 10460, 2017, pp. 233-248, https://doi.org/10.1007/978-3-319-63121-9_12.
