Lange, J., Ng, N., Toninho, B., & Yoshida, N. (2018, May 27). A static verification framework for message passing in Go using behavioural types. 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 1137-1148. https://doi.org/10.1145/3180155.3180157
Citace podle Chicago (17th ed.)Lange, Julien, Nicholas Ng, Bernardo Toninho, a Nobuko Yoshida. "A Static Verification Framework for Message Passing in Go Using Behavioural Types." 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) 27 May. 2018: 1137-1148. https://doi.org/10.1145/3180155.3180157.
Citace podle MLA (9th ed.)Lange, Julien, et al. "A Static Verification Framework for Message Passing in Go Using Behavioural Types." 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 27 May. 2018, pp. 1137-1148, https://doi.org/10.1145/3180155.3180157.