First Page | Document Content | |
---|---|---|
Date: 2010-09-08 19:38:18Mathematical analysis Mathematics Constructible universe Distribution | A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2Add to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source WebsiteFile Size: 706,10 KBShare Document on Facebook |