01720oam 2200481Ia 450 991070237030332120121127132634.0(CKB)5470000002426454(OCoLC)819418933(EXLCZ)99547000000242645420121127d1988 ua 0engurbn|||||||||txtrdacontentcrdamediacrrdacarrierTransformational derivation of programs using the Focus system[electronic resource] /Uday S. Reddy[Washington, D.C.] :[National Aeronautics and Space Administration],[1988]1 online resource (22 pages)[NASA contractor report] ;NASA-CR-184875Title from label (viewed on Nov. 27, 2012)."September 2, 1988.""CHORS-TM-89-001."Includes bibliographical references (pages 20-22).Applications programs (computers)nasatComputer programmingnasatProgram verification (computers)nasatSoftware development toolsnasatSoftware engineeringnasatApplications programs (computers)Computer programming.Program verification (computers)Software development tools.Software engineering.Reddy Uday S1386312United States.National Aeronautics and Space Administration.GPOGPOGPOBOOK9910702370303321Transformational derivation of programs using the Focus system3435174UNINA