Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution). Nguyen, T. L., Inverso, O., Fischer, B., Torre, S. L., & Parlato, G. In TACAS (2), volume 10206, of Lecture Notes in Computer Science, pages 375–379, 2017. bibtex @inproceedings{nguyen_lazy-cseq_2017,
author = {Nguyen, Truc L. and Inverso, Omar and Fischer, Bernd and Torre, Salvatore La and Parlato, Gennaro},
booktitle = {{TACAS} (2)},
pages = {375--379},
series = {Lecture {Notes} in {Computer} {Science}},
title = {Lazy-{CSeq} 2.0: {Combining} {Lazy} {Sequentialization} with {Abstract} {Interpretation} - ({Competition} {Contribution})},
volume = {10206},
year = {2017}}
Downloads: 0
{"_id":"Yw8H2wWsbfziHMaqk","bibbaseid":"nguyen-inverso-fischer-torre-parlato-lazycseq20combininglazysequentializationwithabstractinterpretationcompetitioncontribution-2017","authorIDs":[],"author_short":["Nguyen, T. L.","Inverso, O.","Fischer, B.","Torre, S. L.","Parlato, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Nguyen"],"firstnames":["Truc","L."],"suffixes":[]},{"propositions":[],"lastnames":["Inverso"],"firstnames":["Omar"],"suffixes":[]},{"propositions":[],"lastnames":["Fischer"],"firstnames":["Bernd"],"suffixes":[]},{"propositions":[],"lastnames":["Torre"],"firstnames":["Salvatore","La"],"suffixes":[]},{"propositions":[],"lastnames":["Parlato"],"firstnames":["Gennaro"],"suffixes":[]}],"booktitle":"TACAS (2)","pages":"375–379","series":"Lecture Notes in Computer Science","title":"Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution)","volume":"10206","year":"2017","bibtex":"@inproceedings{nguyen_lazy-cseq_2017,\n\tauthor = {Nguyen, Truc L. and Inverso, Omar and Fischer, Bernd and Torre, Salvatore La and Parlato, Gennaro},\n\tbooktitle = {{TACAS} (2)},\n\tpages = {375--379},\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Lazy-{CSeq} 2.0: {Combining} {Lazy} {Sequentialization} with {Abstract} {Interpretation} - ({Competition} {Contribution})},\n\tvolume = {10206},\n\tyear = {2017}}\n\n","author_short":["Nguyen, T. L.","Inverso, O.","Fischer, B.","Torre, S. L.","Parlato, G."],"key":"nguyen_lazy-cseq_2017","id":"nguyen_lazy-cseq_2017","bibbaseid":"nguyen-inverso-fischer-torre-parlato-lazycseq20combininglazysequentializationwithabstractinterpretationcompetitioncontribution-2017","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://drive.google.com/uc?export=download&id=19WpQhoMIwJIL1DMqKywl2YoH2M7MIki5","creationDate":"2020-11-09T23:19:23.377Z","downloads":0,"keywords":[],"search_terms":["lazy","cseq","combining","lazy","sequentialization","abstract","interpretation","competition","contribution","nguyen","inverso","fischer","torre","parlato"],"title":"Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution)","year":2017,"dataSources":["yQwxQitdfXht3AmDz","RKZzE9qbnqyegdbZi","kCt8NvHdC72dHkmfu"]}