FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings Butler, Michael Heftet / 2011 / Engelsk
Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings Butler, Michael Heftet / 2015 / Engelsk
Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. Butler, Michael Heftet / 2002 / Engelsk
Business of Hacking Creating, Developing, and Maintaining an Effective Penetration Testing Team Butler, Michael Heftet / 2024 / Engelsk
