Ashish Tiwari | FOCS Lab @ NUShttps://focs-lab.comp.nus.edu.sg/author/ashish-tiwari/Ashish TiwariHugo Blox Builder (https://hugoblox.com)en-usSun, 01 Jan 2017 00:00:00 +0000https://focs-lab.comp.nus.edu.sg/media/icon_hu5d7d4d7c5767fff68bb2045c417d28ca_165_512x512_fill_lanczos_center_3.pngAshish Tiwarihttps://focs-lab.comp.nus.edu.sg/author/ashish-tiwari/Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesishttps://focs-lab.comp.nus.edu.sg/publication/2017/2017-cav-gascon-proof-search/Sun, 01 Jan 2017 00:00:00 +0000https://focs-lab.comp.nus.edu.sg/publication/2017/2017-cav-gascon-proof-search/