Cynthia Sturton

Secure Virtualization with Formal Methods.
. University of California, Berkeley, USA, (2013)base-search.net (ftcdlib:qt59q2n05r).
  •  Doctoral advisor:
  •  First reviewer:
more

No resources found