Menu

Richard D. Hawkins

1 published title

Using safety contracts in the development of safety critical object-oriented systems

1 edition

  • University of York, Department of Computer Science
  • 2006
  • Details

obnb.uk is a Good Stuff website.