226 followers
Applying Finite State Process Algebra to Formally Specify a Computational Model of Security Requirements in the… http://t.co/RfBBD15Jcf
Applying Finite State Process Algebra to Formally Specify a Computational Model of Security Requirements in the… http://t.co/RfBBD15Jcf