|
Publications (other)
|  |
2009INRIA Research Report 6949, INRIA, Paris, France, June 2009 2008PhD Thesis,Eindhoven University of Technology,
Eindhoven, The Netherlands,
September 2008 2007
In
Proceedings of the 9th International Workshop on Termination
( WST '07),
Paris, France.
2006Technical Report CSR-06-21, Eindhoven University of Technology, Eindhoven, The Netherlands, August 2006
In
Proceedings of the 8th International Workshop on Termination
( WST '06),
Seattle, WA, USA.
2005
In
Proceedings of the Doctoral Symposium on Integrated Formal Methods
( IFM '05),
Eindhoven, The Netherlands.
2004Master Thesis,Vrije Universiteit,
Amsterdam, The Netherlands,
August 2004
In
Dutch Proof Tools Day 2004,
Nijmegen, The Netherlands.
| 
