SCHNEIDER, Fred B., 2017. Technical Perspective Iron Fleet Simplifies Proving Safety and Liveness Properties. Communications of the ACM. 1 Juli 2017. Vol. 60, no. 7, p. 82-82. DOI 10.1145/3068584.
Elsevier - Harvard (with titles)Schneider, F.B., 2017. Technical Perspective Iron Fleet Simplifies Proving Safety and Liveness Properties. Communications of the ACM 60, 82-82. https://doi.org/10.1145/3068584
American Psychological Association 7th editionSchneider, F. B. (2017). Technical Perspective Iron Fleet Simplifies Proving Safety and Liveness Properties. Communications of the ACM, 60(7), 82-82. https://doi.org/10.1145/3068584
Springer - Basic (author-date)Schneider FB (2017) Technical Perspective Iron Fleet Simplifies Proving Safety and Liveness Properties.. Communications of the ACM 60:82-82. https://doi.org/10.1145/3068584
Juristische Zitierweise (Stüber) (Deutsch)Schneider, Fred B., Technical Perspective Iron Fleet Simplifies Proving Safety and Liveness Properties., Communications of the ACM 2017, 82-82.