Biswas, K. K.Sharma, Richa2016-09-122024-10-292016http://10.17.50.146:4000/handle/123456789/48Logic, Mathematical and symbolicSemi- automated approach to support logical formalism for requirements analysis and validationThesis