Using the Generalised Substitution Language for Event-B Semantics (Abstract)

Abstract.

Keywords: Generalised Substitution Language (GSL), Event-B, program logics, program semantics, refinement.

This web page is written using Xemacs. Last modified: Thu May 10 15:40:27 CEST 2012