BibTeX record conf/indiaSE/BhatiaDC19

• > Home > conf/indiaSE/BhatiaDC19

@inproceedings{DBLP:conf/indiaSE/BhatiaDC19,
  author       = {Nitin Bhatia and
                  Meenakshi D'Souza and
                  Sujit Kumar Chakrabarti},
  editor       = {Ravindra Naik and
                  Santonu Sarkar and
                  Thomas T. Hildebrandt and
                  Atul Kumar and
                  Richa Sharma},
  title        = {Formalizing {GPU} Instruction Set Architecture in Coq},
  booktitle    = {Proceedings of the 12th Innovations on Software Engineering Conference
                  (formerly known as India Software Engineering Conference), {ISEC}
                  2019, Pune, India, February 14-16, 2019},
  pages        = {28:1--28:5},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3299771.3299798},
  doi          = {10.1145/3299771.3299798},
  timestamp    = {Thu, 23 Jun 2022 19:56:31 +0200},
  biburl       = {https://dblp.org/rec/conf/indiaSE/BhatiaDC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}