1. THE CAPITAL MARKET AND ITS IMPACT ON THE NIGERIAN ECONOMY, WITH SPECIAL EMPHASIS ON THE NIGERIAN STOCK EXCHANGE
BACKGROUND OF THE STUDY
A formal and active capital market exists in Nigeria. Prior to 1961, practically all formal savings and deposits flowed through t...
Read more
2. A FORMAL APPROACH TO CONTRACT VERIFICATION FOR HIGH-INTEGRITY APPLICATIONS
Abstract
High-integrity applications are safety- and security-critical applications developed for a variety of critical tasks. The correctness of these applications must be thoroughly tested or formally verified to ensure their reliability and robustness. The major properties to be veri...
Read more
