Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Pseudo-Random Number Generator Verification: A Case Study

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Felix Dörre und Vladimir Klebanov
In:7th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2015)
Verleger:Springer-Verlag
Reihe:LNCS
Band:9593
Jahr:2015

BibTeX

@InProceedings{DoerreKlebanov15,
  author        = {Felix D{\"o}rre and Vladimir Klebanov},
  title         = {Pseudo-Random Number Generator Verification: A Case Study},
  booktitle     = {7th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2015)},
  editor        = {Arie Gurfinkel and Sanjit A. Seshia},
  series	= {LNCS},
  volume	= {9593},
  publisher	= {Springer-Verlag},
  year          = 2015,
  month         = jul
}