@phdthesis{basesearch-4655,
  title = {Secure Virtualization with Formal Methods},
  author = {Cynthia Sturton},
  year = {2013},
  url = {https://www.base-search.net/Record/af87fe4bcdcb0c6cc9004cf7fc0ac645e81c469cee56e43927a81e4f14fd452e},
  note = {base-search.net (ftcdlib:qt59q2n05r)},
  researchr = {https://researchr.org/publication/basesearch-4655},
  cites = {0},
  citedby = {0},
  school = {University of California, Berkeley, USA},
}