Huisman, M., Ahrendt, W., Grahl, D., & Hentschel, M. (2016). Formal Specification with the Java Modeling Language. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10001 LNCS, 193. https://doi.org/10.1007/978-3-319-49812-6_7
Citace podle Chicago (17th ed.)Huisman, Marieke, Wolfgang Ahrendt, Daniel Grahl, a Martin Hentschel. "Formal Specification with the Java Modeling Language." Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10001 LNCS (2016): 193. https://doi.org/10.1007/978-3-319-49812-6_7.
Citace podle MLA (9th ed.)Huisman, Marieke, et al. "Formal Specification with the Java Modeling Language." Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10001 LNCS, 2016, p. 193, https://doi.org/10.1007/978-3-319-49812-6_7.