Formal Framework for Semi-Automation of Validation of Software and its Metrics and of Development of Relevant Knowledge-Base

Meenakshi Sridhar and Nasib Singh Gill

Journal of Engineering and Applied Sciences 15 ( 1 ): 252 - 260 , 2020