Your search for Michael G. Hinchey

11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers

Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers

First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers

10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

Towards a Fully Formal Approach to Automatic Code Generation

Formal Development in CSP