<style face="normal" font="default" size="100%">Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software</style>

Drupal-Biblio