Author

Now showing items 1-1 of 1

    • An algebraic framework for reasoning about security 

      Rajaona, Solofomampionona Fortunat (Stellenbosch : Stellenbosch University, 2013-03)
      ENGLISH ABSTRACT: Stepwise development of a program using refinement ensures that the program correctly implements its requirements. The specification of a system is “refined” incrementally to derive an implementable ...