Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/fac/SitaramanAABBFFHHKKSW11
%A Sitaraman, Murali
%A Adcock, Bruce M.
%A Avigad, Jeremy
%A Bronish, Derek
%A Bucci, Paolo
%A Frazier, David
%A Friedman, Harvey M.
%A Harton, Heather K.
%A Heym, Wayne D.
%A Kirschenbaum, Jason
%A Krone, Joan
%A Smith, Hampton
%A Weide, Bruce W.
%D 2011
%J Formal Asp. Comput.
%K dblp
%N 5
%P 607-626
%T Building a push-button RESOLVE verifier: Progress and challenges.
%U http://dblp.uni-trier.de/db/journals/fac/fac23.html#SitaramanAABBFFHHKKSW11
%V 23
@article{journals/fac/SitaramanAABBFFHHKKSW11,
added-at = {2011-08-30T00:00:00.000+0200},
author = {Sitaraman, Murali and Adcock, Bruce M. and Avigad, Jeremy and Bronish, Derek and Bucci, Paolo and Frazier, David and Friedman, Harvey M. and Harton, Heather K. and Heym, Wayne D. and Kirschenbaum, Jason and Krone, Joan and Smith, Hampton and Weide, Bruce W.},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/276340b8f3c3f0c8f5b6cae2144201965/dblp},
ee = {http://dx.doi.org/10.1007/s00165-010-0154-3},
interhash = {6e9751ae7195c8821c1029b5e192899f},
intrahash = {76340b8f3c3f0c8f5b6cae2144201965},
journal = {Formal Asp. Comput.},
keywords = {dblp},
number = 5,
pages = {607-626},
timestamp = {2016-02-02T10:13:58.000+0100},
title = {Building a push-button RESOLVE verifier: Progress and challenges.},
url = {http://dblp.uni-trier.de/db/journals/fac/fac23.html#SitaramanAABBFFHHKKSW11},
volume = 23,
year = 2011
}