"Static analysis based invariant detection for commodity operating systems."

Jinpeng Wei, Feng Zhu, Yasushi Shinjo (2011)

Details and statistics

DOI: 10.4108/ICST.COLLABORATECOM.2011.247087

access: closed

type: Conference or Workshop Paper

metadata version: 2024-02-15