Static analysis based invariant detection for commodity operating systems Article

cited authors

  • Zhu, Feng; Wei, Jinpeng

publication date

  • June 2014

published in

author keyword

category

Digital Object Identifier (DOI)

volume

  • 43

research area