Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Verification of Ada Programs with AdaHorn

Tewodros A Beyeneand Christian Herrera and Vivek Nigam. Verification of Ada Programs with AdaHorn. Ada User Journal, 2019.






author = {Tewodros A Beyene
and Christian Herrera and Vivek Nigam
title     = {Verification of Ada Programs with AdaHorn},
  booktitle = {The 9th IEEE International Workshop on Software Certification {WoSoCer}},
  journal = {Ada User Journal},
  year      = {2019},
  bib2html_pubtype = {Journal},
bib2html_rescat = {Formal Methods},
bib2html_dl_pdf = "/docs/adahorn.pdf"

Generated by (written by Patrick Riley ) on Thu Nov 26, 2020 08:18:02