Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 1999
den Hartog, J.I.
(1999)
Verifying Probabilistic Programs Using a Hoare like Logic.
In: 5th Asian Conf. on Advances in Computing Science (ASIAN), Phuket, Thailand.
pp. 113-125.
Springer-Verlag.
ISSN 0302-9743
This list was generated on Thu May 24 08:46:09 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||