@article{祝现威:134, author = {祝现威,朱智强,孙磊}, title = {Xen混合多策略模型的设计与形式化验证}, publisher = {计算机科学}, year = {2017}, journal = {计算机科学}, volume = {44}, number = {10}, eid = {134}, numpages = {7}, pages = {134}, keywords = {SV_HMPMD,语义模型,形式化证明,Isabelle/HOL定理证明}, url = {https://www.jsjkx.com/CN/abstract/article_16689.shtml}, doi = {10.11896/j.issn.1002-137X.2017.10.026} }