Formal Analysis of Security APIs (bibtex)
by Graham Steel
Reference:
Formal Analysis of Security APIs (Graham Steel), 2011.
Bibtex Entry:
@phdthesis{steel-HDR11,
  author =        {Steel, Graham},
  month =         mar,
  school =        {{\'E}cole Normale Sup{\'e}rieure de Cachan, France},
  type =          {M{\'e}moire d'habilitation},
  title =         {Formal Analysis of Security {API}s},
  year =          {2011},
  nmonth =        {3},
  url =           {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/hdr-GS.pdf},
  PDF =           {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/hdr-GS.pdf},
  lsv-category =  {thes},
  wwwpublic =     {public and ccsb},
}
Powered by bibtexbrowser