A book cover for Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... Papers (Lecture Notes in Computer Science); nan; Computers & Technology;