%0 Conference Paper %1 conf/sblp/FeitosaRB18 %A da Silva Feitosa, Samuel %A Ribeiro, Rodrigo Geraldo %A Bois, André Rauber Du %B SBLP %D 2018 %E Camarão, Carlos %E Sulzmann, Martin %I ACM %K dblp %P 43-50 %T Property-based testing for lambda expressions semantics in featherweight Java. %U http://dblp.uni-trier.de/db/conf/sblp/sblp2018.html#FeitosaRB18 %@ 978-1-4503-6480-5

@inproceedings{conf/sblp/FeitosaRB18, added-at = {2018-11-21T00:00:00.000+0100}, author = {da Silva Feitosa, Samuel and Ribeiro, Rodrigo Geraldo and Bois, André Rauber Du}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28ecf8d6da1ab93c7c75fd3dd91069f4a/dblp}, booktitle = {SBLP}, crossref = {conf/sblp/2018}, editor = {Camarão, Carlos and Sulzmann, Martin}, ee = {https://doi.org/10.1145/3264637.3264643}, interhash = {adb33a1f13988e518f30244ff0c150b9}, intrahash = {8ecf8d6da1ab93c7c75fd3dd91069f4a}, isbn = {978-1-4503-6480-5}, keywords = {dblp}, pages = {43-50}, publisher = {ACM}, timestamp = {2019-09-27T14:04:15.000+0200}, title = {Property-based testing for lambda expressions semantics in featherweight Java.}, url = {http://dblp.uni-trier.de/db/conf/sblp/sblp2018.html#FeitosaRB18}, year = 2018 }