Inproceedings,
A Model for Provably Secure Software Design.
A. van Den Berghe, K. Yskout, R. Scandariato, and W. Joosen.FormaliSE@ICSE, page 3-9. IEEE, (2017)
Meta data
- BibTeX key
- conf/icse/BergheYSJ17
- entry type
- inproceedings
- booktitle
- FormaliSE@ICSE
- year
- 2017
- pages
- 3-9
- publisher
- IEEE
- crossref
- conf/icse/2017formalise
- ee
- http://doi.ieeecomputersociety.org/10.1109/FormaliSE.2017.6
- isbn
- 978-1-5386-0422-9
- url
- http://dblp.uni-trier.de/db/conf/icse/formalise2017.html#BergheYSJ17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icse/BergheYSJ17
%A van Den Berghe, Alexander
%A Yskout, Koen
%A Scandariato, Riccardo
%A Joosen, Wouter
%B FormaliSE@ICSE
%D 2017
%I IEEE
%K
%P 3-9
%T A Model for Provably Secure Software Design.
%U http://dblp.uni-trier.de/db/conf/icse/formalise2017.html#BergheYSJ17
%@ 978-1-5386-0422-9
@inproceedings{conf/icse/BergheYSJ17,
added-at = {2023-12-12T22:51:52.000+0100},
author = {van Den Berghe, Alexander and Yskout, Koen and Scandariato, Riccardo and Joosen, Wouter},
biburl = {https://www.bibsonomy.org/bibtex/2b85338624f13780ade6dd77ff4288599/admin},
booktitle = {FormaliSE@ICSE},
crossref = {conf/icse/2017formalise},
ee = {http://doi.ieeecomputersociety.org/10.1109/FormaliSE.2017.6},
interhash = {4efee9b9d9b8ae0ae73b01d79a9b9ab7},
intrahash = {b85338624f13780ade6dd77ff4288599},
isbn = {978-1-5386-0422-9},
keywords = {},
pages = {3-9},
publisher = {IEEE},
timestamp = {2023-12-12T22:51:52.000+0100},
title = {A Model for Provably Secure Software Design.},
url = {http://dblp.uni-trier.de/db/conf/icse/formalise2017.html#BergheYSJ17},
year = 2017
}