David Till Books
6th Refinement Workshop
By David Till
This volume contains the papers presented at the 6th Refinement Workshop which was held in London from 5 - 7 January 1994. The theme of the workshop was "the theory and practice of formal software...
Read More