Itzhaky, Shachar, Peleg, Hila, Polikarpova, Nadia, Rowe, Reuben N., and Sergey, Ilya. Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper). Retrieved from https://par.nsf.gov/biblio/10280096. Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}} 12759. Web. doi:10.1007/978-3-030-81685-8.

Itzhaky, Shachar, Peleg, Hila, Polikarpova, Nadia, Rowe, Reuben N., & Sergey, Ilya. Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper). Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}}, 12759 (). Retrieved from https://par.nsf.gov/biblio/10280096. https://doi.org/10.1007/978-3-030-81685-8

Itzhaky, Shachar, Peleg, Hila, Polikarpova, Nadia, Rowe, Reuben N., and Sergey, Ilya. "Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper)". Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}} 12759 (). Country unknown/Code not available. https://doi.org/10.1007/978-3-030-81685-8. https://par.nsf.gov/biblio/10280096.

@article{osti_10280096,
place = {Country unknown/Code not available}, title = {Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper)}, url = {https://par.nsf.gov/biblio/10280096}, DOI = {10.1007/978-3-030-81685-8}, abstractNote = {}, journal = {Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}}}, volume = {12759}, author = {Itzhaky, Shachar and Peleg, Hila and Polikarpova, Nadia and Rowe, Reuben N. and Sergey, Ilya}, editor = {null} }