FM - 专知主题

FM 2019是正式方法欧洲（FME）组织的系列国际研讨会中的第23次，该协会是一个独立的协会，旨在促进软件开发正式方法的使用和研究。官网链接：http://formalmethods2019.inesctec.pt/?page_id=565