Publication | Closed Access
KIV: overview and VerifyThis competition
59
Citations
12
References
2014
Year
Trustworthy ComputingEngineeringMechanical VerificationVerificationManagementNetworked IntelligenceComputer ScienceInformation ManagementTechnology LawFormal VerificationMechanism DesignVerifythis Competition
| Year | Citations | |
|---|---|---|
Page 1
Page 1