no image available Dickens & Co. "Formal Foundations for a Better Future: Exploring the Frontiers of Innovation with Formal Methods" "How the IEEE Symposium on Leveraging Applications of Formal Methods is Revolutionizing the Way we Design and Develop" Price: 26.00€