Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/icfem/HardinHJWW09
%A Hardin, David S.
%A Hiratzka, T. Douglas
%A Johnson, D. Randolph
%A Wagner, Lucas G.
%A Whalen, Michael W.
%B ICFEM
%D 2009
%E Breitman, Karin K.
%E Cavalcanti, Ana
%I Springer
%K dblp
%P 266-285
%T Development of Security Software: A High Assurance Methodology.
%U http://dblp.uni-trier.de/db/conf/icfem/icfem2009.html#HardinHJWW09
%V 5885
%@ 978-3-642-10372-8
@inproceedings{conf/icfem/HardinHJWW09,
added-at = {2017-05-21T00:00:00.000+0200},
author = {Hardin, David S. and Hiratzka, T. Douglas and Johnson, D. Randolph and Wagner, Lucas G. and Whalen, Michael W.},
biburl = {https://www.bibsonomy.org/bibtex/29b7bd3778d0f99b64a068d71d1081ba6/dblp},
booktitle = {ICFEM},
crossref = {conf/icfem/2009},
editor = {Breitman, Karin K. and Cavalcanti, Ana},
ee = {https://doi.org/10.1007/978-3-642-10373-5_14},
interhash = {50b1c18e25bba7aaf93b8f90fa17393f},
intrahash = {9b7bd3778d0f99b64a068d71d1081ba6},
isbn = {978-3-642-10372-8},
keywords = {dblp},
pages = {266-285},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T10:19:41.000+0200},
title = {Development of Security Software: A High Assurance Methodology.},
url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2009.html#HardinHJWW09},
volume = 5885,
year = 2009
}