Formal Verification of HCOL Rewriting

Zaliva, Vadim, Franchetti, Franz. Formal Verification of HCOL Rewriting. , 2015.

@article{zaliva2015formal,
  title = {Formal Verification of HCOL Rewriting},
  author = {Zaliva, Vadim and Franchetti, Franz},
  year = {2015},
  researchr = {https://researchr.org/publication/zaliva2015formal},
  cites = {0},
  citedby = {0},
}