5th Refinement Workshop: proceedings of the 5th Refinement Workshop, organized by BCS-FACS, London, 8-10 January 1992

Front Cover

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Opening Address
1
A Recursion Removal Theorem
43
Demonstrating the Compliance of Ada Programs with
70
Copyright

12 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information