BibTeX record conf/pst/PirzadehD08

download as .bib file

@inproceedings{DBLP:conf/pst/PirzadehD08,
  author       = {Heidar Pirzadeh and
                  Danny Dub{\'{e}}},
  editor       = {Larry Korba and
                  Stephen Marsh and
                  Reihaneh Safavi{-}Naini},
  title        = {Encoding the Program Correctness Proofs as Programs in {PCC} Technology},
  booktitle    = {Sixth Annual Conference on Privacy, Security and Trust, {PST} 2008,
                  October 1-3, 2008, Fredericton, New Brunswick, Canada},
  pages        = {121--132},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/PST.2008.20},
  doi          = {10.1109/PST.2008.20},
  timestamp    = {Thu, 23 Mar 2023 23:58:36 +0100},
  biburl       = {https://dblp.org/rec/conf/pst/PirzadehD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics