<style face="normal" font="default" size="100%">Formal Verification of Nuclear Systems: Past, Present, and Future</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Formal Verification of Nuclear Systems: Past, Present, and Future</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project</style>

Drupal-Biblio

10

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