ZUM '95: The Z Formal Specification Notation 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings Bowen Jonathan P. Heftet / 1995 / Engelsk
Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings Butler, Michael Heftet / 2007 / Engelsk
ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings Bowen Jonathan P. Heftet / 1998 / Engelsk
ZUM'97: The Z Formal Specification Notation 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings Bowen Jonathan P. Heftet / 1997 / Engelsk
Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers Hinchey, Michael G. Heftet / 2005 / Engelsk
Innovative Concepts for Autonomic and Agent-Based Systems Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers Hinchey, Michael G. Heftet / 2006 / Engelsk
