A Critical Comparison of Existing Software Contract Tools.

Janina Voigt, Warwick Irwin, Neville Churcher

Browse the full ENASE paper archive.