%0 Conference Paper %1 conf/popl/AmorimCDDHPPPT14 %A de Amorim, Arthur Azevedo %A Collins, Nathan %A DeHon, André %A Demange, Delphine %A Hritcu, Catalin %A Pichardie, David %A Pierce, Benjamin C. %A Pollack, Randy %A Tolmach, Andrew %B POPL %D 2014 %E Jagannathan, Suresh %E Sewell, Peter %I ACM %K %P 165-178 %T A verified information-flow architecture. %U http://dblp.uni-trier.de/db/conf/popl/popl2014.html#AmorimCDDHPPPT14 %@ 978-1-4503-2544-8

@inproceedings{conf/popl/AmorimCDDHPPPT14, added-at = {2023-12-12T21:38:27.000+0100}, author = {de Amorim, Arthur Azevedo and Collins, Nathan and DeHon, André and Demange, Delphine and Hritcu, Catalin and Pichardie, David and Pierce, Benjamin C. and Pollack, Randy and Tolmach, Andrew}, biburl = {https://www.bibsonomy.org/bibtex/2e3e807713c569be65a1041333255d4c4/admin}, booktitle = {POPL}, crossref = {conf/popl/2014}, editor = {Jagannathan, Suresh and Sewell, Peter}, ee = {https://doi.org/10.1145/2535838.2535839}, interhash = {4136ceb11f73bf0edb8eabf4ea28d7e9}, intrahash = {e3e807713c569be65a1041333255d4c4}, isbn = {978-1-4503-2544-8}, keywords = {}, pages = {165-178}, publisher = {ACM}, timestamp = {2023-12-12T21:38:27.000+0100}, title = {A verified information-flow architecture.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2014.html#AmorimCDDHPPPT14}, year = 2014 }