BibTeX record conf/sigsoft/SharyginaTT09

• > Home > conf/sigsoft/SharyginaTT09

@inproceedings{DBLP:conf/sigsoft/SharyginaTT09,
  author       = {Natasha Sharygina and
                  Stefano Tonetta and
                  Aliaksei Tsitovich},
  title        = {An abstraction refinement approach combining precise and approximated
                  techniques for efficient program verification: abstract for the invited
                  talk},
  booktitle    = {SAVCBS'09, Proceedings of the 8th International Workshop on Specification
                  and Verification of Component-Based Systems, August 25, 2009, Amsterdam,
                  The Netherlands},
  pages        = {35--36},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596486.1596494},
  doi          = {10.1145/1596486.1596494},
  timestamp    = {Wed, 07 Dec 2022 23:12:24 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/SharyginaTT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}