ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings Treharne Helen Heftet / 2005 / Engelsk
E-Voting and Identity 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings Heather James Heftet / 2013 / Engelsk
Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings Chen Liqun Heftet / 2018 / Engelsk
Applied Cryptography and Network Security 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings Manulis Mark Heftet / 2016 / Engelsk
Formal Aspects of Security First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers Abdallah Ali E. Heftet / 2003 / Engelsk
