@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
}
Pseudo-Random Number Generator Verification: A Case Study
| 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 |