KnasterTarski theorem

Results: 1



#Item
1QuickChecking Static Analysis Properties  Jan Midtgaard and Anders Møller Abstract Interpretation Winter School From forthcoming ICST’15 paper

QuickChecking Static Analysis Properties Jan Midtgaard and Anders Møller Abstract Interpretation Winter School From forthcoming ICST’15 paper

Add to Reading List

Source URL: janmidtgaard.dk

Language: English - Date: 2015-02-06 02:29:00