%0 Conference Paper %1 conf/indiaSE/WelchCSS14 %A Welch, Daniel %A Cook, Charles T. %A Sun, Yu-Shan %A Sitaraman, Murali %B ISEC %D 2014 %E Janakiram, Dharanipragada %E Sen, Koushik %E Kulkarni, Vinay %I ACM %K dblp %P 12:1-12:6 %T A web-integrated verifying compiler for RESOLVE: a research perspective. %U http://dblp.uni-trier.de/db/conf/indiaSE/isec2014.html#WelchCSS14 %@ 978-1-4503-2776-3

@inproceedings{conf/indiaSE/WelchCSS14, added-at = {2023-09-30T00:00:00.000+0200}, author = {Welch, Daniel and Cook, Charles T. and Sun, Yu-Shan and Sitaraman, Murali}, biburl = {https://www.bibsonomy.org/bibtex/2ef4bd0dabcf7849210e6e41d5c977641/dblp}, booktitle = {ISEC}, crossref = {conf/indiaSE/2014}, editor = {Janakiram, Dharanipragada and Sen, Koushik and Kulkarni, Vinay}, ee = {https://doi.org/10.1145/2590748.2590760}, interhash = {9597bf874f5d23d6d85e566e48c6b72d}, intrahash = {ef4bd0dabcf7849210e6e41d5c977641}, isbn = {978-1-4503-2776-3}, keywords = {dblp}, pages = {12:1-12:6}, publisher = {ACM}, timestamp = {2024-04-10T05:51:28.000+0200}, title = {A web-integrated verifying compiler for RESOLVE: a research perspective.}, url = {http://dblp.uni-trier.de/db/conf/indiaSE/isec2014.html#WelchCSS14}, year = 2014 }