Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/aswec/LinM15
@inproceedings{DBLP:conf/aswec/LinM15, author = {Yude Lin and Tim Miller}, editor = {Fei{-}Ching Diana Kuo and Stuart Marshall and Haifeng Shen and Markus Stumptner and Muhammad Ali Babar}, title = {Looking Closer at Compositional Symbolic Execution}, booktitle = {Proceedings of the 24th Australasian Software Engineering Conference, {ASWEC} 2015, Volume II, Adelaide, SA, Australia, September 28 - October 1, 2015}, pages = {138--140}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2811681.2817758}, doi = {10.1145/2811681.2817758}, timestamp = {Fri, 14 Apr 2023 23:05:44 +0200}, biburl = {https://dblp.org/rec/conf/aswec/LinM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.