|
Formal Software Development Spring Semester 2008 |
||||
|
This course will aim to working knowledge of the B-Method which is a formal approach to developing software. It has been used successfully in industry to develop software for saftey critical systems, including the Paris Metro. |
||||
|
|
Hosted by Computing @ Surrey |
This page is maintained by
Helen Treharne. |