MARC

 008220131s2021        us                              c    eng  d
■020    ▼a9798471103405
■035    ▼a(MiAaPQ)AAI28846632
■040    ▼aMiAaPQ▼cMiAaPQ
■0820  ▼a004
■1001  ▼aBanerjee,  Subarno.
■24510▼aCautiously  Optimistic  Program  Analyses  for  Secure  and  Reliable  Software
■260    ▼a[Sl]▼bUniversity  of  Michigan▼c2021
■260  1▼aAnn  Arbor▼bProQuest  Dissertations  &  Theses▼c2021
■300    ▼a141  p
■500    ▼aSource:  Dissertations  Abstracts  International,  Volume:  83-05,  Section:  B.
■500    ▼aAdvisor:  Narayanasamy,  Satish.
■5021  ▼aThesis  (Ph.D.)--University  of  Michigan,  2021.
■506    ▼aThis  item  must  not  be  sold  to  any  third  party  vendors.
■506    ▼aThis  item  must  not  be  added  to  any  third  party  search  indexes.
■590    ▼aSchool  code:  0127.
■650  4▼aComputer  science
■650  4▼aComputer  engineering
■650  4▼aInformation  technology
■650  4▼aInformation  science
■653    ▼aProgram  Analysis
■653    ▼aInformation-Flow  Tracking
■653    ▼aGarbage  Collection
■653    ▼aSequential  Consistency
■690    ▼a0984
■690    ▼a0489
■690    ▼a0464
■690    ▼a0723
■71020▼aUniversity  of  Michigan▼bComputer  Science  &  Engineering.
■7730  ▼tDissertations  Abstracts  International▼g83-05B.
■773    ▼tDissertation  Abstract  International
■790    ▼a0127
■791    ▼aPh.D.
■792    ▼a2021
■793    ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T16055698▼nKERIS▼z이  자료의  원문은  한국교육학술정보원에서  제공합니다.
■980    ▼a202202▼f2022

Preview

Export

ChatGPT Discussion

AI Recommended Related Books