Formal Specification and Verification: Mathematically Based Software Quality Assurance Techniques
https://www.powershow.com/view/714f5-ZWYzM/Formal_Specification_and_Verification_Mathematically_Based_Software_Quality_Assurance_Techniques_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
