Home › Authors › Bayu B. Kidane 👤 Bayu B. Kidane 1 book Books by Bayu B. Kidane The role of formal methods in The role of formal methods in today's software industry 1999