APA (7th ed.) Citation

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 Style (17th ed.) Citation

Huisman, Marieke, Wolfgang Ahrendt, Daniel Grahl, and 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 (9th ed.) Citation

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.