BibTeX record conf/icse/MustafaDS10

download as .bib file

@inproceedings{DBLP:conf/icse/MustafaDS10,
  author       = {Tanveer Mustafa and
                  Michael Drouineaud and
                  Karsten Sohr},
  editor       = {Seok{-}Won Lee and
                  Mattia Monga and
                  Jan J{\"{u}}rjens},
  title        = {Towards formal specification and verification of a role-based authorization
                  engine using {JML}},
  booktitle    = {{ICSE} Workshop on Software Engineering for Secure Systems, {SESS}
                  2010, May 2, 2010, Cape Town, South Africa},
  pages        = {50--57},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1809100.1809108},
  doi          = {10.1145/1809100.1809108},
  timestamp    = {Thu, 14 Oct 2021 10:18:24 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/MustafaDS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.