Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified 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)

@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 Mon Jan 08, 2024 13:46:57