<style face="normal" font="default" size="100%">Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B</style>

Drupal-Biblio