ExperimentalUnitsCodeContracts
 Share
The version of the browser you are using is no longer supported. Please upgrade to a supported browser.Dismiss

 
View only
 
 
ABCDEFG
1
LanguageExperimental UnitLOCContract Clauses
2
TotalPreconditionPostconditionInvariant
3
Code ContractsAutoDiff1,291157101560
4
Boogie66,9715,2143,0711,554589
5
Contractor10,42050729215065
6
DotNetComponentOrientedProgramming
7,18014771733
7
DotNetExtensionsImproved1,384393810
8
DRail6286031290
9
EuroManager4,85319019000
10
Frost12,0141,15689223133
11
MonoMobileFacebook5,332192160320
12
NeuroFlow Framework Overhaul10,6263773263912
13
ProgrammingWithCodeContracts11914572
14
Yandex1,972181800
15
Total122,7908,0715,1952,172704
Loading...
Main menu