David R. Cok, Serdar Tasiran. Practical Methods for Reasoning About Java 8's Functional Programming Features. In Ruzica Piskac, Philipp Rümmer, editors, Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers. Volume 11294 of Lecture Notes in Computer Science, pages 267-278, Springer, 2018. [doi]
@inproceedings{CokT18, title = {Practical Methods for Reasoning About Java 8's Functional Programming Features}, author = {David R. Cok and Serdar Tasiran}, year = {2018}, doi = {10.1007/978-3-030-03592-1_15}, url = {https://doi.org/10.1007/978-3-030-03592-1_15}, researchr = {https://researchr.org/publication/CokT18}, cites = {0}, citedby = {0}, pages = {267-278}, booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers}, editor = {Ruzica Piskac and Philipp Rümmer}, volume = {11294}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-030-03592-1}, }