Transformational derivation of programs using the Focus system /

Bibliographic Details

Main Author:	Reddy, Uday S.
Corporate Author:	United States. National Aeronautics and Space Administration
Format:	Government Document eBook
Language:	English
Published:	[Washington, D.C.] : [National Aeronautics and Space Administration], [1988]
Series:	NASA contractor report ; NASA CR-184875.
Subjects:	Applications programs (computers) Computer programming. Program verification (computers) Software development tools. Software engineering.
Online Access:	https://purl.fdlp.gov/GPO/gpo30685