@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
| Author(s): | Felix Dörre and Vladimir Klebanov |
|---|---|
| In: | 7th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2015) |
| Publisher: | Springer-Verlag |
| Series: | LNCS |
| Volume: | 9593 |
| Year: | 2015 |