00906na  a2200229   4500001001300000005001500013008004100028040001100069041001300080052002600093245013700119300002100256545005700277545005700334653005500391700001900446700004800465773010400513856002000617900002000637900001900657KSI00021135620040610133128040604s1990    ggk           000   kor    a0110010 akorbeng01a051b아364ㄴㅁc1300aTemporal logic을 이용한 프로그램 검증에 대한 연구=xProgram verification using temporal logic/d최경희,e이정태  ap. 61-72;c26 cm  a최경희, 공과대학 전자계산학과 부교수  a이정태, 공과대학 전자계산학과 조교수  aTemporal logica프로그램aProgram verification1 a최경희4aut1 a이정태,g李廷泰,d1957-0KAC2014164170 t論文集-亞州大學校.d亞州大學校.g13집(1990년), p. 61-72q13<61w(011001)KSE19950513740u2046788aKd00210aChoi, Kyung-Hee10aLee, Jeung-Tae