Publication | Closed Access

The latex fixation test

EngineeringAutomated ReasoningProgram AnalysisSoftware TestingLanguage TestingVerificationFormal MethodsSoftware AnalysisMechanical VerificationTesting TechniqueComputer ScienceLatex Fixation TestFormal VerificationAutomated Repair