The Theory and practice of refinement : approaches to the formal development of large-scale software systems /

Bibliographic Details
Corporate Author:	Workshop on the Theory and Practice of Refinement
Other Authors:	McDermid, John
Format:	Conference Proceeding Book
Language:	English
Published:	London ; Boston : Butterworths, 1989.
Subjects:	Computer software > Development > Congresses. Interactive computer systems > Congresses.

Remote Storage