publications on Formal methods and Z

in preparation

2013

journal papers

2008

journal papers

2007

journal papers

refereed workshop and conference papers

other

2006

book chapters

refereed workshop and conference papers

2005

refereed workshop and conference papers

technical reports

2004

refereed workshop and conference papers

technical reports

2003

refereed workshop and conference papers

technical reports

2002

refereed workshop and conference papers

technical reports

2001

other

2000

refereed workshop and conference papers

technical reports

1999

refereed workshop and conference papers

1998

refereed workshop and conference papers

1997

refereed workshop and conference papers

1995

refereed workshop and conference papers

other

1994

books / proceedings



1993

books / proceedings

refereed workshop and conference papers

other

1992

books / proceedings

journal papers

refereed workshop and conference papers

other

1991

journal papers

1987

journal papers