Verification across Intellectual Property Boundaries (bibtex)
by Sagar Chaki, Christian Schallhart, Helmut Veith
Reference:
Verification across Intellectual Property BoundariesSagar Chaki, Christian Schallhart, Helmut VeithACM Trans. Softw. Eng. Methodol., volume 22, number 2, pages 15, 2013.
Bibtex Entry:
@article{CSV13TOSEM,
  author    = {Sagar Chaki and
               Christian Schallhart and
               Helmut Veith},
  title     = {Verification across Intellectual Property Boundaries},
  journal   = {ACM Trans. Softw. Eng. Methodol.},
  volume    = {22},
  number    = {2},
  year      = {2013},
  pages     = {15},
  url        = {http://doi.acm.org/10.1145/2430545.2430550}
}
Powered by bibtexbrowser