Publication | Closed Access

An approach to the formal analysis of user complexity

EngineeringAutomated ReasoningProgram AnalysisComplexity TheoryFormal MethodsSoftware AnalysisComputational ComplexityComputer ScienceUser ComplexityDescriptional ComplexityFormal VerificationSystem Software