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