Graph-based software specification and verification
Harmen Kastenberg · 2008
the results of my research activities.Among them are Christian Soltenborn, Christian Hofmann, and Selim Ciraci.Their feature requests often lead to interesting discussions; their bug reports made me experience that even very small bugs can cause a lot of confusion.During the last four years I have been sharing offices with Iovka Boneva and Patrick Sathyanathan.I would like to thank both of you for the nice, humurous, and inspiring discussions we had.Iovka, a special thanks to you.You gave me some insight in how to deal with pregnant women.Hopefully, I can put this into further practice in the future.I wish you all the best for the three of you.Furhtermore, I would like to thank Joost 'Monthy Python' Noppen.During our many fitness sessions you taught me, among many other things, the art of translating songs written in foreign languages to the Twents dialect.I would also like to thank my waterpolo teammates.You all know and experienced my enthousiasm for sports in general, and waterpolo in specific.Thank you all for your understanding with respect to the many times I feld the need to prioritize my career over my sports.From a more personal point of view I would like to thank my family and friends.Although none of you could really understand the topics I was working on, you have nevertheless giving me great support and motivation to make the last four years a great succes.Wilma, my love.The last year has been very tough for both of us.