Verification of probability calculations Publikasjonsdetaljer Utgiver: Norsk Regnesentral Serie: NR-notat () År: 2007 Antall sider: 12 Du er her: Hjem Publikasjoner Rapport Verification of probability calculations