LEADER 01736nam  2200493Ia 450 
001 9910701132303321
005 20111221104342.0
035   $a(CKB)5470000002415726
035   $a(OCoLC)768998146
035   $a(EXLCZ)995470000002415726
100   $a20111221d2011      ua             0
101 0 $aeng
135   $aurbn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAutomated verification of specifications with typestates and access permissions$b[electronic resource] /$fRadu I. Siminiceanu, Ne?stor Catan?o
210  1$aHampton, Va. :$cNational Aeronautics and Space Administration, Langley Research Center,$d[2011]
215   $a1 online resource (31 pages)
225 1 $aNASA/CR ;$v2011-217170
300   $aTitle from title screen (viewed on Dec. 21, 2011).
300   $a"August 2011."
320   $aIncludes bibliographical references. (pages 19-20)
606   $aProgram verification (computers)$2nasat
606   $aSpecifications$2nasat
606   $aApproach control$2nasat
606   $aData flow analysis$2nasat
606   $aAlgorithms$2nasat
606   $aParallel programming$2nasat
615  7$aProgram verification (computers)
615  7$aSpecifications.
615  7$aApproach control.
615  7$aData flow analysis.
615  7$aAlgorithms.
615  7$aParallel programming.
700   $aSiminiceanu$b Radu I$01405428
701   $aCatan?o$b Ne?stor$01418899
712 02$aLangley Research Center.
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910701132303321
996   $aAutomated verification of specifications with typestates and access permissions$93531642
997   $aUNINA