Janina Voigt, Warwick Irwin, Neville Churcher. Comparing and Evaluating Existing Software Contract Tools. In Leszek A. Maciaszek, Kang Zhang, editors, Evaluation of Novel Approaches to Software Engineering - 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers. Volume 275 of Communications in Computer and Information Science, pages 49-63, Springer, 2011. [doi]