Ferrari, A., Mazzanti, F., Basile, D., ter Beek, M. H., & Fantechi, A. (2020, October). Comparing Formal Tools for System Design: A Judgment Study. 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 62-74. https://doi.org/10.1145/3377811.3380373
Citace podle Chicago (17th ed.)Ferrari, Alessio, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, a Alessandro Fantechi. "Comparing Formal Tools for System Design: A Judgment Study." 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) Oct. 2020: 62-74. https://doi.org/10.1145/3377811.3380373.
Citace podle MLA (9th ed.)Ferrari, Alessio, et al. "Comparing Formal Tools for System Design: A Judgment Study." 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), Oct. 2020, pp. 62-74, https://doi.org/10.1145/3377811.3380373.