Formal Specification: a Roadmap Axel van Lamsweerde published on ICSE (International Conference on Software Engineering)
https://www.powershow.com/view1/1d3b73-ZDc1Z/Formal_Specification_a_Roadmap_Axel_van_Lamsweerde_published_on_ICSE_International_Conference_on_Software_Engineering_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/