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