PLDI 2014 : Verification Modulo Versions: Towards Usable Verification

Reference

2014

detail

Verification Modulo Versions: Towards Usable Verification

Francesco Logozzo, Manuel Fähndrich, Shuvendu Lahiri, and Sam Blackshear

PLDI 2014: ACM SIGPLAN Conference on Programming Language Design and Implementation

BibTeX

@string{PLDI = "ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)"}
@inproceedings{vmv-pldi14,
  author = {Francesco Logozzo and Manuel Fähndrich and Shuvendu Lahiri and Sam Blackshear},
  title = {Verification Modulo Versions: Towards Usable Verification},
  booktitle = PLDI,
  year = {2014},
}