Concepedia
Journal of Gerontological Nursing · 1983 · 64 citations · 0 references
Method ValidationData ValidationEngineeringFeil MethodAutomated ReasoningVerificationFormal MethodsComputer ScienceModel VerificationFormal Verification