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.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@article{beyene19,
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 bib2html.pl (written by Patrick Riley ) on Tue Sep 17, 2019 08:03:20