Verification of probability calculations Publication details Publisher: Norsk Regnesentral Series: NR-notat () Year: 2007 Number of pages: 12 You are here: Home Publications Report Verification of probability calculations