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
Citace podle Chicago (17th ed.)Ahrendt, Wolfgang, Andreas Roth, a 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.
Citace podle MLA (9th ed.)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.