Inproceedings,
On Compositional Information Flow Aware Refinement.
C. Baumann, M. Dam, R. Guanciale, and H. Nemati.CSF, page 1-16. IEEE, (2021)
Meta data
- BibTeX key
- conf/csfw/BaumannDGN21
- entry type
- inproceedings
- booktitle
- CSF
- year
- 2021
- pages
- 1-16
- publisher
- IEEE
- crossref
- conf/csfw/2021
- ee
- https://doi.org/10.1109/CSF51468.2021.00010
- isbn
- 978-1-7281-7607-9
- url
- http://dblp.uni-trier.de/db/conf/csfw/csfw2021.html#BaumannDGN21
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/csfw/BaumannDGN21
%A Baumann, Christoph
%A Dam, Mads
%A Guanciale, Roberto
%A Nemati, Hamed
%B CSF
%D 2021
%I IEEE
%K dblp
%P 1-16
%T On Compositional Information Flow Aware Refinement.
%U http://dblp.uni-trier.de/db/conf/csfw/csfw2021.html#BaumannDGN21
%@ 978-1-7281-7607-9
@inproceedings{conf/csfw/BaumannDGN21,
added-at = {2023-06-26T00:00:00.000+0200},
author = {Baumann, Christoph and Dam, Mads and Guanciale, Roberto and Nemati, Hamed},
biburl = {https://www.bibsonomy.org/bibtex/2146f955fdd22ddb38105e0056e080121/dblp},
booktitle = {CSF},
crossref = {conf/csfw/2021},
ee = {https://doi.org/10.1109/CSF51468.2021.00010},
interhash = {8d9231414949e1b34b66b819deebaf05},
intrahash = {146f955fdd22ddb38105e0056e080121},
isbn = {978-1-7281-7607-9},
keywords = {dblp},
pages = {1-16},
publisher = {IEEE},
timestamp = {2024-04-09T13:16:03.000+0200},
title = {On Compositional Information Flow Aware Refinement.},
url = {http://dblp.uni-trier.de/db/conf/csfw/csfw2021.html#BaumannDGN21},
year = 2021
}