| Originele taal-2 | Engels |
|---|---|
| Pagina's (van-tot) | 315-340 |
| Tijdschrift | International Journal of Foundations of Computer Science |
| Volume | 13 |
| Nummer van het tijdschrift | 3 |
| DOI's | |
| Status | Gepubliceerd - 2002 |
Citeer dit
@article{98b3ea0743a1445d9f22d1504027de15,
title = "Verifying probabilistic programs using a Hoare-like logic",
author = "{Hartog, den}, J.I. and {Vink, de}, E.P.",
year = "2002",
doi = "10.1142/S012905410200114X",
language = "English",
volume = "13",
pages = "315--340",
journal = "International Journal of Foundations of Computer Science",
issn = "0129-0541",
publisher = "World Scientific",
number = "3",
}
Verifying probabilistic programs using a Hoare-like logic. / Hartog, den, J.I.; Vink, de, E.P.
In: International Journal of Foundations of Computer Science, Vol. 13, Nr. 3, 2002, blz. 315-340.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
TY - JOUR
T1 - Verifying probabilistic programs using a Hoare-like logic
AU - Hartog, den, J.I.
AU - Vink, de, E.P.
PY - 2002
Y1 - 2002
U2 - 10.1142/S012905410200114X
DO - 10.1142/S012905410200114X
M3 - Article
VL - 13
SP - 315
EP - 340
JO - International Journal of Foundations of Computer Science
JF - International Journal of Foundations of Computer Science
SN - 0129-0541
IS - 3
ER -