Formal Modeling and Verification of Security Property in Handel C Program

Sorry, there's nothing here.

Cite this paper

@article{Fu2012FormalMA, title={Formal Modeling and Verification of Security Property in Handel C Program}, author={Yujian Fu and Jeffery Kulick and Lok K. Yan and Steven Drager}, journal={IJSSE}, year={2012}, volume={3}, pages={50-65} }