Semi- automated approach to support logical formalism for requirements analysis and validation
No Thumbnail Available
Files
Date
2016
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Logic, Mathematical and symbolic