Report - Formal Specification. Approaches to formal specification Functional –The system is described as a number of functions. –Unnatural and complex for large.

Please pass captcha verification before submit form