APA (7th ed.) Citation

Ahrendt, W., Roth, A., & Sasse, R. (2005). Automatic Validation of Transformation Rules for Java Verification against a Rewriting Semantics. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), LNCS 3835, 412. https://doi.org/10.1007/11591191_29

Chicago Style (17th ed.) Citation

Ahrendt, Wolfgang, Andreas Roth, and Ralf Sasse. "Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics." Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) LNCS 3835 (2005): 412. https://doi.org/10.1007/11591191_29.

MLA (9th ed.) Citation

Ahrendt, Wolfgang, et al. "Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics." Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. LNCS 3835, 2005, p. 412, https://doi.org/10.1007/11591191_29.