Netinfo Security

›› 2009, Vol. 9 ›› Issue (5): 0-0.

   

Security applications and the formal specification process of refinement

LI Gai-cheng   

  • Published:2009-05-15

PDF (PC)

107

Abstract: NULL