%0 Conference Paper %1 conf/tacas/AndrianovMMV18 %A Andrianov, Pavel S. %A Mutilin, Vadim S. %A Mandrykin, Mikhail U. %A Vasilyev, Anton A. %B TACAS (2) %D 2018 %E Beyer, Dirk %E Huisman, Marieke %I Springer %K dblp %P 427-431 %T CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/tacas/tacas2018-2.html#AndrianovMMV18 %V 10806 %@ 978-3-319-89963-3

@inproceedings{conf/tacas/AndrianovMMV18, added-at = {2021-01-11T00:00:00.000+0100}, author = {Andrianov, Pavel S. and Mutilin, Vadim S. and Mandrykin, Mikhail U. and Vasilyev, Anton A.}, biburl = {https://www.bibsonomy.org/bibtex/2c09e7400b57da1d73cd9cb5e8f66ac3e/dblp}, booktitle = {TACAS (2)}, crossref = {conf/tacas/2018-2}, editor = {Beyer, Dirk and Huisman, Marieke}, ee = {https://doi.org/10.1007/978-3-319-89963-3_26}, interhash = {1f84a2a7a40daf9b7ba9ac75e1e3257a}, intrahash = {c09e7400b57da1d73cd9cb5e8f66ac3e}, isbn = {978-3-319-89963-3}, keywords = {dblp}, pages = {427-431}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:41.000+0200}, title = {CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2018-2.html#AndrianovMMV18}, volume = 10806, year = 2018 }