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
Chicago-Zitierstil (17. Ausg.)Huisman, Marieke, Wolfgang Ahrendt, Daniel Grahl, und 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.
MLA-Zitierstil (9. Ausg.)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.