Dataset title: RHP (Request Handling Pattern) and Authorization Mechanism. The dataset contains Event-B developments for RHP (Request Handling Pattern) and refinements for authorization mechanism
GHK survey data for CO on: a) SIFI investment (amounts invested, characteristics, returns, products) and b) on beneficiaries of social investment (who, how much finance, what types of finance).
